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

作     者：王祚栋 魏少军 Wang Zuodong;Wei Shaojun

作者机构：清华大学微电子学研究所北京100084 

基　　金：国家"八六三"高技术研究发展计划(2002ZAA1Z030) 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2005年第17卷第8期

页      码：1818-1822页

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

主 题 词：微处理器 功能验证 混合模型 模拟 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1003-9775.2005.08.028

馆 藏 号：203341030...