基于模拟的验证技术在CPU设计中的应用

• 作者: 吕涛 李华伟 李晓维 樊建平
• 来源期刊: 同济大学学报(自然科学版)
• 学科: 工学
• 关键词: 设计验证 模拟 测试矢量自动产生 覆盖率
• 年，卷（期）: 2002,（10）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 1257-1261
• 页数: 5页
• 分类号: TP391.9
• 字数: 4489字
• 语种: 中文
• DOI: 10.3321/j.issn:0253-374X.2002.10.022

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李华伟	中国科学院计算技术研究所	55	595	14.0	22.0
2	李晓维	中国科学院计算技术研究所	127	1467	20.0	32.0
3	樊建平	中国科学院计算技术研究所	43	458	11.0	20.0
4	吕涛	中国科学院计算技术研究所	41	423	10.0	20.0