Mentor验证解决方案在龙芯处理器设计中的应用.pdfVIP

Mentor 验证解决方案在龙芯处理器设计中的应用 中国科学院计算技术研究所 张珩博士 [摘 要]在使用传统的动态仿真方法对通用微处理器这样大规模的设计进行功能验证时仿真速度 成为了瓶颈，而使用 FPGA物理原型验证又不能提供很好的可调试性。本文主要介绍了基于 VStation PRO 平台进行仿真加速的解决方案，该方法即保证了仿真的高速，又提供了良好的调试环境，极大 的提高了功能验证的效率。 [关键字] 功能验证 微处理器设计 模拟仿真 1 前 言 随着集成电路制造工艺的快速发展，功能验证已经成为了 ASIC 设计流程的瓶颈。用于 功能验证的时间通常占全部设计周期的 50－70％。如何提高功能验证的效率，缩短验证周 期是一个巨大的挑战。目前，动态的模拟仿真仍然是主要的功能验证方法，即首先产生一系 列的测试向量，然后将测试向量加载到设计上（DUT）通过 HDL 模拟器得到测试结果，将这 些结果与我们的期望值相比较，以此来验证设计的正确性。随着设计规模的不断增长，使用 软件模拟器进行仿真已经满足不了设计对仿真速度的要求，这时通常会使用 FPGA 物理原型 来进行功能验证。使用 FPGA 物理原型验证方法的优点是：快速的运行速度；工作在实际的 目标系统中；可以进行系统的软件开发。但调试困难是使用该方法的一个主要弱点。使用仿 真器对设计进行仿真加速提供了一个很好的解决方案，该方法即可以提供很快的仿真速度也 提供了良好的调试环境，很好的填补了物理原型仿真的高速、不好调试和软件仿真的低速、 可调试之间的空白。使得整体验证流程更完整，层次更合理。 仿真器主要有两种类型：基于 FPGA 的仿真器和基于处理器阵列的仿真器。在龙芯系列 芯片的设计验证流程中采用了基于FPGA的仿真器VStation PRO作为平台，实现了软件模拟、 仿真器仿真加速、FPGA 物理原型三级的层次化验证环境，提高了验证效率。后续章节主要 介绍了龙芯系列处理器使用仿真器的验证环境，验证流程和仿真结果。 2 验证环境简介 龙芯系列微处理器是面向桌面和服务器的高性能通用微处理器，特别是龙芯 2微处理器 其设计规模、复杂度和性能以接近当今先进的 x86指令集微处理器。龙芯 2的仿真验证环境 由以下几个部分组成：RTL 设计；testbench；仿真器（硬件和相应的软件）；RTL 软件模拟 器；调试工具。其中 testbench的结构如图 2－1。Testbench的主要结构模拟了主板的主要 结构，通过该 testbench可以运行大量的测试程序，使得模拟仿真的环境与实际运行的目标 系统类似。 辑 存储器逻 裁 仲 和 口 接 处理器 I/O 设备 中断 Testbench 图 2－1 验证环境基本结构 系统仿真验证平台使用了 Mentor graphics 公司的 VStation PRO，该平台提供业界领 先的满足当今以及将来复杂 SOC验证要求的性能和容量。目前的产品是第五代产品，它提供 了强劲、有效的 In-circuit 验证，提供业界最新的协同建模验证技术，提供可以与工作站 运行的软件交互的软硬件系统验证技术。 Vstation PRO主要特性： 强大的 in-circuit仿真，通过 ISOLVE系统板提供简单易用的仿真 完全的集成 RTL编译和调试能力 每台机器最大支持六千万门 ASIC的设计容量，可两台级联支持更大设计 最大仿真速度 2MHz 高度可靠和自动的编译器 强大的可扩展存储器模型，最大可支持 2G 友好的图形界面 任意时刻所有信号的 1