基于模拟的验证技术在一款通用CPU设计中的应用

摘要

设计验证是芯片设计过程中保证其可靠性的一个重要环节.其中基于模拟的验证是实际中最主要的方法.虽然同样是把激励加载在功能规范和设计上,通过模拟来比较二者的响应,但是根据激励产生的方法或指导思想不同,又有各种不同的基于模拟的验证技术.在一款通用CPU设计中,应用了多种验证技术,包括基于测试矢量的验证、基于覆盖率的验证等等.通过理论分析和实验研究,不同的技术显现出各自适应的时机和方式.实验和分析结果进一步表明了各种验证技术的特点及其在工程应用中的有效性.