|
|||||
|
|
| 面向CPU芯片的验证技术研究 | |
| 引用本文： | 胡建国,位招勤,张旭,曾献君.面向CPU芯片的验证技术研究[J].微电子学,2007,37(1):16-19,23. |
| 作者姓名： | 胡建国 位招勤 张旭 曾献君 |
| 作者单位： | 1. 国防科技大学,计算机学院,湖南,长沙,410073;湖南广播电视大学,湖南,长沙,410004 2. 国防科技大学,计算机学院,湖南,长沙,410073 3. 湖南广播电视大学,湖南,长沙,410004 |
| 基金项目： | 国家自然科学基金;国家高技术研究发展计划(863计划);国防科学技术大学校预研基金 |
| 摘 要： | CPU芯片规模大、复杂度高,在芯片设计的不同阶段进行多层次的验证,保证芯片的正确性非常关键。文章探讨了模拟验证、FPGA仿真、形式验证和静态时序分析等验证方法,提出了一种多级验证体系方法,实现CPU芯片的多层次验证,并成功地验证了自行设计的微处理器的正确性和兼容性。 |
| 关 键 词： | 模拟验证 FPGA仿真 形式验证 静态时序分析 多级验证 |
| 文章编号： | 1004-3365（2007）01-0016-04 |
| 修稿时间： | 2006-07-032006-09-18 |
A Study on CPU Chip-Oriented Verification Technology |
|
| HU Jian-guo,WEI Zhao-qin,ZHANG Xu,ZENG Xian-jun.A Study on CPU Chip-Oriented Verification Technology[J].Microelectronics,2007,37(1):16-19,23. | |
| Authors: | HU Jian-guo WEI Zhao-qin ZHANG Xu ZENG Xian-jun |
| Abstract: | CPU chip is of large scale and extraordinary complexity.It is very important to perform multilevel verifications in different phases of chip design,in order to ensure the validity of the chip.Verification methods,such as simulation verification,FPGA emulation,formal verification and static timing analysis (STA),are addressed.A multilevel verification system has been proposed and applied to the verification strategy of CPU chip.This system has been successfully used to verify the validity and compatibility of a self-designed microprocessor. |
| Keywords: | CPU |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |