基于模拟的验证技术在一款通用CPU设计中的应用
设计验证是芯片设计过程中保证其可靠性的一个重要环节.其中基于模拟的验证是实际中最主要的方法.虽然同样是把激励加载在功能规范和设计上,通过模拟来比较二者的响应,但是根据激励产生的方法或指导思想不同,又有各种不同的基于模拟的验证技术.在一款通用CPU设计中,应用了多种验证技术,包括基于测试矢量的验证、基于覆盖率的验证等等.通过理论分析和实验研究,不同的技术显现出各自适应的时机和方式.实验和分析结果进一步表明了各种验证技术的特点及其在工程应用中的有效性.
设计验证 模拟 测试矢量自动产生 覆盖率 故障模型
吕涛 李华伟 尹志刚 刘国华 李晓维 樊建平
中国科学院计算技术研究所(北京)
国内会议
上海
中文
99-109
2002-10-01（万方平台首次上网日期，不代表论文的发表时间）