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