Immediate assertion

Imemdiate assertion可以放在任何procedural statement中，

assertion被执行判断，当这个procedural code被执行的时候。其他时间是不会被执行的。

Immediate assertion不能被放在continuous assignment中。

 

Imemediate assertion的关键字只有assert，内部不能包含消耗时间的单元，只能是combinational logic

在被执行的同时，assert的结果也是判断出来。

 

Immediate assert的COND可以是level sensitive也可以是edge sensitive

可以用来判断glitch是否发生