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

摘要：

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

关键词：微处理器、功能验证、混合模型、模拟

所属期刊栏目：17

分类号：TP368.1(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002ZAA1Z030

在线出版日期：2005-09-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1818-1822