立即断言 Immediate Assertion笔记
目录
1.断言类型
• 立即断言 Immediate Assertion
• 并发断言 Concurrent Assertion
• 递归断言 Deferred Assertion
2.立即断言
• 执行不消耗时间
• 可在指定位置执行
• 可以像if一样使用
3.立即断言用法
例如:
|
|
boRC: assert声明标志,可通过%m打印出来
else : assert如果检查失败,执行else下语句,可以把assert理解为if,assert中的内容不可综合。
note:
立即断言可以在代码任何地方插入,运行到断言后立即执行,不消耗时间,不需要提供采样时钟。