摘要：曙光5000芯片组是曙光5000计算单元中的系统控制器，它通过HT接口连接两颗CPU并提供高速网络通信能力。为了确保曙光5000芯片组的功能正确性，我们为其设计了系统级功能验证平台SVP。SVP采用分层结构对系统进行建模，通过对本地计算单元的系统软件行为、硬件平台功能以及远程计算单元的网络行为进行模拟，提供了接近真实系统的验证环境。在曙光5000芯片组的验证过程中，SVP发现并排除了逻辑设计中的大多数功能错误，通过并行验证加速了验证覆盖率的收敛过程。

关键词：芯片组 功能验证 建模 模拟 覆盖率 

单位：中国科学院计算技术研究所 北京100190 中国科学院计算机系统结构重点实验室 北京100190 中国科学院研究生院 北京100049