always语言指导原则

1、每个always只有一个@(event-expression).

2、always块可以表示时序逻辑和组合逻辑。

3、带有posedge和negedge关键字的是表示沿触发的时序逻辑，没有的表示组合逻辑或者电平敏感的锁存器。或者两者都表示。

4、每个在always快中赋值的信号必须定义成reg型或者整形（integer[<msb> :<lsb> ] identifier）。整形变量默认是32位。

5、always块中应该避免组合反馈回路，always块中的赋值必须是明确的。否则，需要设计者在设计中加入电平敏感的锁存器，来保持赋值前的最后一个值。解释如下：

　　//我们不建议这样，你懂的，容易出错。

　　input a,b,c;

　　reg d,e;

　　always@(a or b or c)//电平敏感列表就是a,b,c

　　　　begin

　　　　　　e=d & a & b;//因为电平敏感列表里面没有d，所以在d变化时，e不能立即变化，要等到a,b,c变化时才能体现出来。也就是相当于存在一个电平敏感的透明锁存器在暂存d的数据。

　　　　　　d=e|c;

　　　　end

6、把某一信号值赋值为’bx，综合器把它解释成无关状态，综合器生成的硬件电路做简洁。

摘自：verilog数字系统设计教程（夏宇闻）