中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
基于模拟的验证技术在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
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。