模型检查

模型检查主要是检查RTL是否满足设计规范。一般使用基于断言的验证语言。相较于仿真,模型检查可以 100% 覆盖设计中所有可能出现的情况。在工业应用中的挑战在于需要根据规范写好断言。


No data available
On this page: