基于模拟的验证技术在CPU设计中的应用
文献类型:期刊论文
作者 | 吕涛; 李华伟; 李晓维; 樊建平 |
刊名 | 同济大学学报:自然科学版
![]() |
出版日期 | 2002 |
卷号 | 30.0期号:010页码:1257 |
关键词 | 验证技术 CPU 设计验证 模拟 测试矢量自动产生 覆盖率 设计方法 芯片设计 |
ISSN号 | 0253-374X |
英文摘要 | 在一款通用CPU设计中,应用了多种验证技术,包括基于测试矢量的验证,基于覆盖率的验证等等,通过理论分析和实验研究,不同的技术显现出各自适用的时机和方式,实验和分析结果进一步表明了各种验证技术的特点及其在工程应用中的有效性。 |
语种 | 英语 |
源URL | [http://119.78.100.204/handle/2XEOYT63/37643] ![]() |
专题 | 中国科学院计算技术研究所期刊论文_中文 |
作者单位 | 中国科学院计算技术研究所 |
推荐引用方式 GB/T 7714 | 吕涛,李华伟,李晓维,等. 基于模拟的验证技术在CPU设计中的应用[J]. 同济大学学报:自然科学版,2002,30.0(010):1257. |
APA | 吕涛,李华伟,李晓维,&樊建平.(2002).基于模拟的验证技术在CPU设计中的应用.同济大学学报:自然科学版,30.0(010),1257. |
MLA | 吕涛,et al."基于模拟的验证技术在CPU设计中的应用".同济大学学报:自然科学版 30.0.010(2002):1257. |
入库方式: OAI收割
来源:计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。