硬件輔助驗證 (HAV) 有著悠久的歷史，如今作為軟件驅(qū)動驗證的必備技術(shù)，再度受到關(guān)注。

RISC-V 可能是說明這一點的最好例子。HAV 能夠執(zhí)行多個周期的軟件驅(qū)動驗證，是加速 RISC-V 生態(tài)系統(tǒng)和定制指令集開發(fā)的唯一途徑。

當(dāng)下，芯片企業(yè)正在設(shè)計 RISC-V 人工智能 (AI) 與機器學(xué)習(xí) (ML) 定制加速器，以實現(xiàn)特定工作負載的加速處理，這些企業(yè)創(chuàng)建的架構(gòu)由軟件驅(qū)動，而不使用遺留數(shù)據(jù)或任何通用數(shù)據(jù)。而是，針對軟件工作負載應(yīng)用在架構(gòu)層面進行量身定制。

在典型的 CPU 和 GPU 驗證與基于 RISC-V 的驗證之間，這是不同的視角和一組不同的驗證挑戰(zhàn)。成熟的設(shè)計人員面臨著 SoC 集成的挑戰(zhàn)，并且對軟件驅(qū)動的工作負載考慮較少。典型的 CPU 和 GPU 設(shè)計人員會根據(jù)通用功能、設(shè)備和已知架構(gòu)進行蠻力計算。在這些通用功能中，很難有效地集成互聯(lián)系統(tǒng)。

RISC-V 是一個開源社區(qū)。一旦設(shè)計人員開始定制一種架構(gòu)，它就變成了“輕量版”的開源架構(gòu)，并且不會再回饋到開源社區(qū)中，因為它是為特定應(yīng)用而定制的。為了評估定制的結(jié)果，需要進行嚴(yán)格的驗證和確認。必須對軟件堆棧和環(huán)境進行驗證，以確保它們能對定制指令集做出正確的響應(yīng)。

定制加速器的集群較小，設(shè)計人員需要在快速擴大規(guī)模的同時驗證其功能?？焖贁U展此類驗證是 HAV 平臺的優(yōu)勢所在。

驗證要求和技術(shù)與 SoC 集成等成熟設(shè)備的驗證要求和技術(shù)有所不同。新架構(gòu)在從它們所復(fù)制并加速的小規(guī)模情況，發(fā)展到基于復(fù)制算法的功能時，面臨著復(fù)雜的可擴展性挑戰(zhàn)。

HAV 平臺為構(gòu)建全面的驗證體系、開展軟件確認工作以及營造風(fēng)險緩解環(huán)境奠定了堅實基礎(chǔ)，能夠贏得設(shè)計人員的充分信賴，特別是在基于 RISC-V 的生態(tài)系統(tǒng)中。