共 6 条
- [1] USB 2.0硬件设计.[M].萧世文编著;.清华大学出版社.2002,
- [3] 微处理器基于功能覆盖率的伪随机验证方法.[J].张蓓莉;.计算机与信息技术.2006, 04
- [4] 微处理器基于功能覆盖率的伪随机验证方法.[J].张蓓莉;.计算机与信息技术.2006, 04
结合断言与覆盖率为导向的验证方法
被引：13
作者：
褚晓滨
陆铁军
宗宇
机构：
[1] 北京微电子技术研究所
来源：
关键词：
覆盖率;
断言;
验证方法;
海量存储;
D O I：
10.19304/j.cnki.issn1000-7180.2008.11.011
中图分类号：
TN02 [设计、制图];
学科分类号：
摘要：
伴随着半导体工艺的不断发展,可以将更多的功能集成到单系统芯片上.这对传统的验证方法和验证途径提出了种种挑战.以覆盖率为导向的验证方法中,覆盖率模型是在外部通过DUT执行的功能来统计覆盖率,很难侦测到DUT内部的工作状态,存在对功能"遗漏点"的侦测.基于断言的验证方法可以将断言加入到DUT内部,通过断言覆盖加强覆盖率检测.阐述了将断言和覆盖率为导向相结合的验证方法,并用此种方法对USB2.0系统进行了验证.讨论了如何将两种验证方法有效地结合,并且通过比较覆盖率为导向的验证方法与结合断言与覆盖率为导向的验证方法的结果,说明结合断言与覆盖率为导向的验证方法提高了验证过程中的观测性,减少了验证周期.
引用
收藏
页码：39 / 42+46
+46
页数：5
相关论文