面向CPU芯片的验证技术研究

• 作者: 位招勤 张旭 曾献君 胡建国
• 来源期刊: 微电子学
• 学科: 工学
• 关键词: CPU 模拟验证 FPGA仿真 形式验证 静态时序分析 多级验证
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 研究论文
• 页码范围: 16-19,23
• 页数: 5页
• 分类号: TN407
• 字数: 4118字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-3365.2007.01.005

摘要

CPU芯片规模大、复杂度高,在芯片设计的不同阶段进行多层次的验证,保证芯片的正确性非常关键.文章探讨了模拟验证、FPGA仿真、形式验证和静态时序分析等验证方法,提出了一种多级验证体系方法,实现CPU芯片的多层次验证,并成功地验证了自行设计的微处理器的正确性和兼容性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾献君	国防科技大学计算机学院	15	87	5.0	9.0
2	胡建国	国防科技大学计算机学院	8	95	5.0	8.0
6	张旭		6	38	3.0	6.0
7	位招勤	国防科技大学计算机学院	1	19	1.0	1.0