论文部分内容阅读
曙光6000高效能计算机系统是面向千万亿次计算的超级计算机系统,采用HPP体系结构,计算节点间采用Infiniband网络和专用集合通信网络进行通信。曙光6000集合通信芯片是集合通信网络的核心部件,直接关系系统的成败。
曙光6000集合通信芯片具有端口多、功能复杂、数据包类型多、数据通路多等特点,因此对集合通信芯片的验证在功能覆盖和代码覆盖上都具有很大的挑战。
本文的主要工作如下:
1、根据集合通信芯片的结构特点和功能特点,分析了验证在平台规模和激励产生上的需求,制定了黑盒验证、约束随机的验证策略。
2、采用层次化结构和可重用设计,设计实现了集合通信芯片的验证平台。基于验证平台,引入了功能覆盖率模型,结合代码覆盖率,一同保证了验证的充分性与可靠性。
3、为了提高验证效率,设计并实现了针对集合通信芯片的反馈型覆盖率驱动方法。
4、采用代码行覆盖率与功能覆盖率两者结合的方式作为评价指标,对集合通信芯片进行了验证,实验数据表明验证是充分、可靠的。
5、采用基于设计的反馈型覆盖率驱动方法对芯片进行了新一轮的验证,结果表明反馈方法性能优于全随机方法,使验证收敛加速,同时得到了更高的覆盖率。