| 基于模拟的验证技术在CPU设计中的应用 |
| |
| 引用本文： | 吕涛,李华伟,李晓维,樊建平.基于模拟的验证技术在CPU设计中的应用[J].同济大学学报(自然科学版),2002,30(10):1257-1261. |
| |
| 作者姓名： | 吕涛 李华伟 李晓维 樊建平 |
| |
| 作者单位： | 中国科学院,计算技术研究所,北京,100080 |
| |
| 基金项目： | 国家“8 6 3”高技术研究发展计划重点资助项目 ( 2 0 01AA11110 0 )，国家自然科学基金资助项目 ( 6 9976 0 0 2 ) |
| |
| 摘 要： | 在一款通用CPU设计中，应用了多种验证技术，包括基于测试矢量的验证，基于覆盖率的验证等等，通过理论分析和实验研究，不同的技术显现出各自适用的时机和方式，实验和分析结果进一步表明了各种验证技术的特点及其在工程应用中的有效性。
|
| 关 键 词： | 验证技术 CPU 设计验证 模拟 测试矢量自动产生 覆盖率 设计方法 芯片设计 |
| 文章编号： | 0253-374X(2002)10-1257-05 |
| 修稿时间： | 2002年7月10日 |
Design Verification of a CPU Chip via Simulation |
| |
| LU Tao,LI Hua-wei,LI Xiao-wei,FAN Jian-ping.Design Verification of a CPU Chip via Simulation[J].Journal of Tongji University(Natural Science),2002,30(10):1257-1261. |
| |
| Authors: | LU Tao LI Hua-wei LI Xiao-wei FAN Jian-ping |
| |
| Abstract: | Many verification techniques have been applied in a general-purposed CPU chip design,such as virification via test generation and via coverage metrics.Through theory analysis and experiments,it is clear that different approaches have application of their own,and the results indicate the effectiveness of these approaches. |
| |
| Keywords: | design verificatipn simulation automatic test pattern generation coverage metrics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
