摘要
设计验证是芯片设计过程中保证其可靠性的重要环节。其中,模拟是实际中最主要的验证方法。根据应用目的的不同,可以将模拟验证技术分为两大类:针对矢量产生的技术和针对验证评估的技术。本文分类阐述了多种通用的验证技术的原理,在分析和比较的基础上指出各自的优缺点,并介绍了其在一款通用CPU设计之中的应用,包括应用平台、实验数据以及相应的分析。
Design verification is critical during the process of chip design, and simulation is still the primary workhorse for it. According to different targets of application, techniques of simulation-based verification can be divided into two groups: one aims at stimulus pattern generation, and the other aims at coverage evaluation. This article systematically discusses the principles of many general verification techniques, and points out advantages and disadvantages of each technique. It also introduces the application of these techniques in a general-purposed CPU chip design, including platforms, data and analysis.
出处
《系统仿真学报》
CAS
CSCD
2002年第12期1698-1701,1705,共5页
Journal of System Simulation
基金
中科院知识创新重大项目
国家863重点项目(2001AA111100)
国家自然科学基金项目(69976002)
北京市重点项目(H020120140130)
计算所领域前沿青年基金项目(20016280-18)
关键词
CPU
设计
模拟验证
芯片
错误模型
覆盖准则
design verification
simulation
error models
ATPG(Automatic Test Pattern Generation)
coverage metrics
