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

aplerll

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

     1、相同点

, h& ?0 X" Z$ [% N

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

                               assign out=en?a:1'bz;
9 `4 D, n' ?- j) ?! T/ R: _0 P* a                               /***************************/
0 [+ L' P! p8 F0 ]5 j! o                              reg out;
. ]' ~! U9 D0 V  F6 [) v                              always @(*)
! `+ c9 f9 R- F( r& W                                    begin
3 y7 ^! ^& I; z# d2 g$ b7 r3 Q                                           if(en)
* ^: }* [/ x* J                                                out=a;
" n, Z: j4 `7 A                                           else out=1'bz;
0 Y) J1 q; }, ], e                                   end

3 [* n) a5 P5 z3 k

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

& x. f) f9 W* w4 y" z. `

                              

! J3 ?6 T8 ]5 [3 V5 |

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

& F+ n& @! _# s/ ]+ K1 \

  2、不同点：

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

reg out;
always @(sel or a)
        begin
! b1 A5 Q0 E; E$ F& e8 R9 E                case(sel)
2 x) f( a" Y( T. y' P& L# |) a  {8 n                        1'b0ut=1'bz;
                        1'b1ut=a;
                        defaultut=1'bz;
                endcase
( @) x) r0 [+ V; V+ S        end
下面是此段代码的RTL级图：
. H: X; j& ]9 Y8 i" T7 d; t
从上图的RTL级图可以看出，有一个指令译码器，来决定输出信号out的最后输出值。

gaoxings

学习一下，谢谢分享