assign 与always@(*)的区别和联系

aplerll

今天突然脑洞大开，想到这个语法问题——assign 与always@(*)这两个同为组合逻辑到底有什么相同点和不同点。下面详细讨论这两个问题：

     1、相同点

         assign和always@(*)同为组合逻辑，用阻塞赋值"="进行赋值；下面举一个例子来说明

8 e, w! C! O5 P/ G. W& Z

                               assign out=en?a:1'bz;
1 q* M$ D, d0 G- ^" J* k+ ?  w0 e                               /***************************/
                              reg out;
) k; [) i$ V% L( p( N                              always @(*)
/ B2 a: X- ]9 u2 y0 e                                    begin
) o+ ~8 ]2 ?" Z) G! C: G. ?5 ~                                           if(en)
                                                out=a;
                                           else out=1'bz;
                                   end

         上面这两条语句综合后的RTL图如下：

  J0 w% b' W) t; d

                              

* f- }- l7 T) \! Q# S  h4 [$ q

      从上面的两个语句的RTL图可以看出：两条语句的RTL级图是一样的，功能是一样的。只是语法上是不同的。以上就是它们的相同点。

. G/ }" y0 }; G4 g3 U6 \3 A9 O

  2、不同点：

5 [5 |2 q( R- a  h

        由于篇幅有限，在这里我主要说下它们最大的区别。assign语句后面只能加一条语句，（如：assign out=en?a:1'bz;），而always@(*)可跟块语句begin······end。后者可实现更为复杂的组合逻辑设计。再华丽丽的语言也抵不过具体的实例说明，下面我用一个例子来说明如何使用always@(*)来实现一个复杂的组合逻辑。

2 u: t! n6 X9 a1 F/ ]  V7 C- V

reg out;
always @(sel or a)
; U5 t( \- T" h& F, w+ O/ W        begin
9 i9 Z3 ^8 J8 \/ U- m( S3 m2 ^                case(sel)
3 C* K0 N7 B/ Z+ y# _$ j+ X                        1'b0ut=1'bz;
2 Y6 C( R+ m8 }# b+ `. E% k& s& e                        1'b1ut=a;
                        defaultut=1'bz;
; L! X4 n) P4 p                endcase
        end
下面是此段代码的RTL级图：
4 W7 c0 a3 X; K; o
, A  s2 R  S" o从上图的RTL级图可以看出，有一个指令译码器，来决定输出信号out的最后输出值。

gaoxings

学习一下，谢谢分享