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

• 作者: 游余新
• 来源期刊: 中国集成电路
• 关键词: 功能覆盖率 静态验证技术 Formal 断言
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 设计
• 页码范围: 31-36,50
• 页数: 7页
• 字数: 2617字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	游余新		3	6	2.0	2.0