结合断言与覆盖率为导向的验证方法

• 作者: 宗宇 褚晓滨 陆铁军
• 来源期刊: 微电子学与计算机
• 关键词: 覆盖率 断言 验证方法 海量存储
• 年，卷（期）: 2008,（11）
• 页码范围: 39-42,46
• 页数: 5页
• 分类号: TN4
• 语种: 中文

摘要

伴随着半导体工艺的不断发展,可以将更多的功能集成到单系统芯片上.这对传统的验证方法和验证途径提出了种种挑战.以覆盖率为导向的验证方法中,覆盖率模型是在外部通过DUT执行的功能来统计覆盖率,很难侦测到DUT内部的工作状态,存在对功能"遗漏点"的侦测.基于断言的验证方法可以将断言加入到DUT内部,通过断言覆盖加强覆盖率检测.阐述了将断言和覆盖率为导向相结合的验证方法,并用此种方法对USB2.0系统进行了验证.讨论了如何将两种验证方法有效地结合,并且通过比较覆盖率为导向的验证方法与结合断言与覆盖率为导向的验证方法的结果,说明结合断言与覆盖率为导向的验证方法提高了验证过程中的观测性,减少了验证周期.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆铁军		23	113	6.0	9.0
2	宗宇		6	55	3.0	6.0
3	褚晓滨		2	33	2.0	2.0