架构设计、软件仿真、硬件仿真、原型验证、形式验证等不同的验证方法都有各自的优点，也有各自的不足。异构验证方法学是基于最新的验证技术，整合多种验证方法，不断创新验证工具和验证流程，以确保设计出正确的芯片。
SOC/ASIC 设计规模不断增大，且结构愈加复杂，导致验证的复杂度呈指数级增长。为了缩短芯片的上市周期，在不同设计阶段选择不同的验证工具，提高生产效率，加速验证的收敛显得尤为重要。考量设计规模，在线调试能力，软件调试能力，低部署成本，可重用性，调试能力，编译速度和运行速度，选择不同的验证工具，完成日益复杂的验证项目。
在先进工艺下，异构计算架构正逐渐成为设计芯片的主流，不同的运算单元有不同的架构设计，对信息流也有不同的处理方式，这些都需要针对其特性使用不同验证的方法学。从架构设计，IP 开发，RTL 整合，系统集成，软件开发到系统测试阶段都有完整的验证工具。多种不同形式的设计在系统建模，软件仿真，硬件仿真，原型验证可以协同仿真和交叉验证：
-889.png)
