同济大学学报(自然科学版)

2002, (10) 1257-1261

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

基于模拟的验证技术在CPU设计中的应用
Design Verification of a CPU Chip via Simulation

吕涛,李华伟,李晓维,樊建平

摘要(Abstract):

在一款通用CPU设计中 ,应用了多种验证技术 ,包括基于测试矢量的验证、基于覆盖率的验证等等 .通过理论分析和实验研究 ,不同的技术显现出各自适用的时机和方式 .实验和分析结果进一步表明了各种验证技术的特点及其在工程应用中的有效性 .

关键词(KeyWords): 设计验证;模拟;测试矢量自动产生;覆盖率

Abstract:

Keywords:

基金项目(Foundation): 国家“8 6 3”高技术研究发展计划重点资助项目 ( 2 0 01AA11110 0 ) ;; 国家自然科学基金资助项目 ( 6 9976 0 0 2 )

作者(Author): 吕涛,李华伟,李晓维,樊建平

Email:

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享