高性能CPU的模拟验证研究.pdfVIP

高技术通讯2004·增刊 高性能CPU的模拟验证① 胡建国②马泽民 刘 军 李晋文 曾献君 (国防科学技术大学计算机学院 长沙410073) 摘要 介绍了基于参考模型和基于参考机的模拟验证方法，探讨了这两种验证方法对 高性能CPU设计的正确性和兼容性验证的有效性。 关键词模拟验证，软件模拟，高性能CPU设计 括软件模拟、静态时序分析、电路模拟等。软件模拟 0 引言 实用范围广泛、使用方便，是一种十分成熟的方法。 软件模拟可以应用于从电路级到行为级或系统级的 模拟验证是保证高性能CPU设计正确性的重 各个层次。 要途径。高性能CPU规模大、设计复杂度极高，保 本文介绍了基于参考模型和基于参考机的模拟 证设计的正确性和兼容性是高性能CPU设计的关 验证方法对高性能CPU设计的正确性、兼容性的验 键，通常的验证方式有形式化验证方式和非形式化 证。验证结果表明，这两种验证方式结合使用，验证 验证方式¨J。形式化验证是基于纯数学方法的定理 高性能CPU设计的正确性和兼容性实现方式简单， 证明，以验证设计的逻辑等价性，其突出优点是验证 代价低。 速度快，验证过程不关心详细的结构和电路延时，如 1 验证方法 Intel公司的Pentitun微处理器的浮点部件的验证采 用了形式验证方法【2j。随着IC设计规模的增大、设 基于参考模型的软件验证方法是将待验证的设 计复杂度的提高，尤其对采用异步时钟及多相时钟 计所需要实现的功能与参考模型的功能进行比较， 的电路而言，形式化验证很难处理。非形式化验证 以验证设计的正确性。该验证方式较适合于部件级 方法总体上分为硬件仿真和软件模拟验证两种方 的设计验证，如验证浮点部件的正确性，则需要验证 式。硬件仿真是利用编译软件把用户的设计编译成 各条浮点指令在该部件执行的正确性，验证时需根 仿真器所需的FPGA编程数据，下载该数据到仿真 据设计者对指令系统的理解，用c或其他高级语言 器，在仿真器中形成该用户设计的物理实现，利用测 编写一个与待验证部件相同功能的参考模型，运行 试向量或真实目标系统做激励，模仿和测试ASIC芯 参考模型，得到指令的预测结果，再比较部件的实际 片逻辑功能。硬件仿真的突出优点是速度快，能够 逻辑模拟结果与预测结果的符合性，以验证部件设 实时仿真用户设计对各种输入激励的真实响应，并 计的正确性。基于参考模型的软件验证流程如图1 充分考虑了芯片／电路的操作时序，但该验证方式通 所示，验证步骤如下： 常必须在软件模拟验证进行了一定阶段之后且用户 设计的逻辑正确性基本保证的前提下才能开始，而 且实现复杂，成本代价高，不便于故障诊断和调试。 软件模拟验证方式一直是微处理器设计验证的 重要方法。模拟验证是指对设计的硬件描述或设计 结果抽象出模型，然后将外部激励加载到模型，通过 观察模型在外部激励作用下的结果来判断待验证的