硬件辅助验证(HAV) 对软件验证的价值

硬件辅助验证 (HAV) 有着悠久的历史，如今作为软件驱动验证的必备技术，再度受到关注。

RISC-V 可能是说明这一点的最好例子。HAV 能够执行多个周期的软件驱动验证，是加速 RISC-V 生态系统和定制指令集开发的唯一途径。

当下，芯片企业正在设计 RISC-V 人工智能 (AI) 与机器学习 (ML) 定制加速器，以实现特定工作负载的加速处理，这些企业创建的架构由软件驱动，而不使用遗留数据或任何通用数据。而是，针对软件工作负载应用在架构层面进行量身定制。

在典型的 CPU 和 GPU 验证与基于 RISC-V 的验证之间，这是不同的视角和一组不同的验证挑战。成熟的设计人员面临着 SoC 集成的挑战，并且对软件驱动的工作负载考虑较少。典型的 CPU 和 GPU 设计人员会根据通用功能、设备和已知架构进行蛮力计算。在这些通用功能中，很难有效地集成互联系统。

RISC-V 是一个开源社区。一旦设计人员开始定制一种架构，它就变成了“轻量版”的开源架构，并且不会再回馈到开源社区中，因为它是为特定应用而定制的。为了评估定制的结果，需要进行严格的验证和确认。必须对软件堆栈和环境进行验证，以确保它们能对定制指令集做出正确的响应。

定制加速器的集群较小，设计人员需要在快速扩大规模的同时验证其功能。快速扩展此类验证是 HAV 平台的优势所在。

验证要求和技术与 SoC 集成等成熟设备的验证要求和技术有所不同。新架构在从它们所复制并加速的小规模情况，发展到基于复制算法的功能时，面临着复杂的可扩展性挑战。

HAV 平台为构建全面的验证体系、开展软件确认工作以及营造风险缓解环境奠定了坚实基础，能够赢得设计人员的充分信赖，特别是在基于 RISC-V 的生态系统中。