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