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是否发生
