● 摘要
浮点运算模块是高性能微处理器的关键模块，其运算能力是评价高性能微处理器性能的重要指标，其功能正确性需要经过严格验证。功能验证是目前微处理器验证的重要环节，根据不同模块选取合适的验证策略，将绝大多数bug发现出来，这需要使用合适的方法设计符合功能需求的验证平台。而浮点运算的复杂性，使其功能验证具有很高的挑战性，使用仿真验证的方法能够在一定程度上解决部分空间的验证，但是无法完全证明硬件电路的功能正确性。
本文结合CGT2号微处理器芯片中浮点运算单元的验证工作，研究了仿真验证方法的实现，使用systemverilog语言设计了高可重用性的验证平台，通过收集覆盖率的方法分析验证的进度和功能完善性，令仿真验证有着良好的健壮性和可扩展性。为进一步提高功能验证可靠性，设计了基于模型检测方法的形式化验证平台，补充验证了浮点运算指令，同时指导仿真验证平台的修正和改善，因此，实现了两种方法的结合使用，能够进一步提高验证效率。
通过两种验证平台结合的方法，提高了验证的完备性，设计的浮点运算处理模型可以作为验证IP使用，为以后的验证平台提供了可靠的对比模型。而平台的设计和测试，为以后平台的继承，下一代产品的验证，提供了参考设计，也为以后进一步的研究提供了思路。