微处理器功能验证的模拟加速方法

• 作者: 王祚栋 魏少军
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 微处理器 功能验证 混合模型 模拟
• 年，卷（期）: 2005,（8）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 1818-1822
• 页数: 5页
• 分类号: TP368.1
• 字数: 4105字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2005.08.028

摘要

复杂微处理器的功能验证是当前主要的设计瓶颈.为提高验证效率,提出了自验证和混合模型模拟两种模拟加速方法.前者通过实现验证流程的自动化来提高验证效率,其有效性正比于激励空间的规模,反比于单个向量的平均模拟时间;后者则通过模拟不同抽象层次子模块模型组成的系统,将全芯片网表的验证时间从子模块数的指数关系降低到线性关系.该方法的有效性和可行性在32位处理器的设计实践中得到了验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏少军	清华大学微电子学研究所	66	406	9.0	18.0
2	王祚栋	清华大学微电子学研究所	4	78	3.0	4.0