always语句声明格式：

always<时序控制><语句>

如果always语句没有时序控制，则这个always语句将会使仿真器产生死锁。eg：always  areg = ~areg;这个always语句将生成0延时的无限循环跳变过程，这时会发生死锁。

沿触发的always块常常描述时序行为，如有限状态机。如果符合可综合风格要求，则可通过综合工具自动地将其转换为表示寄存器和门级组合逻辑结构，而该结构时序所要求的行为。