基于属性的形式验证技术及应用

摘要：

为了提高产品的验证覆盖率和首次流片成功率,越来越多的验证技术和衡量标准被采纳.传统的仿真验证技术很难达到验证的快速收敛,而静态验证技术采用数学穷举的方法,利用断言对cornercase进行快速验证,有效避免了一些设计缺陷.Mentor公司的Questa Formal工具可以对代码进行常规的功能检查,并可用Formal引擎证明设计代码及其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性.

关键词：功能覆盖率、静态验证技术、Formal、断言

所属期刊栏目：22

分类号：TP3;TN9

在线出版日期：2014-01-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：31-36,50