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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社