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

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

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

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

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

定制加速器的集群較小，設(shè)計(jì)人員需要在快速擴(kuò)大規(guī)模的同時(shí)驗(yàn)證其功能。快速擴(kuò)展此類驗(yàn)證是 HAV 平臺(tái)的優(yōu)勢(shì)所在。

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

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