由于 RISC-V 是一個(gè)開放性的 ISA，它允許任何開發(fā)者自由設(shè)計(jì)和擴(kuò)展定制處理器?；?RISC-V 的處理器必須保持與不斷增長的支持工具和軟件生態(tài)系統(tǒng)的兼容性。

RISC-V 處理器驗(yàn)證需求

RISC-V 處理器驗(yàn)證需要一種能夠匹配 ISA 可配置和可擴(kuò)展特性的解決方案，滿足以下特定需求：

能夠與用戶現(xiàn)有的環(huán)境協(xié)同工作，并且應(yīng)利用諸如 RISC-V 驗(yàn)證接口 (RVVI) 等開放標(biāo)準(zhǔn)接口，以實(shí)現(xiàn)高效和復(fù)用。

應(yīng)支持行業(yè)最佳實(shí)踐，例如約束隨機(jī)激勵(lì)和功能覆蓋率。

解決方案必須應(yīng)對(duì)處理器特定的挑戰(zhàn)，例如驗(yàn)證 DUT（待測(cè)單元）在響應(yīng)異步事件時(shí)的行為。

新思科技 ImperasDV 解決方案

新思科技推出的 ImperasDV 是滿足所有這些要求的解決方案。

ImperasDV 是一種針對(duì)基于 RISC-V 指令集架構(gòu)（ISA）的定制處理器的前端設(shè)計(jì)驗(yàn)證解決方案。它包括參考模型、驗(yàn)證組件、功能覆蓋率、測(cè)試套件以及調(diào)試器等核心組件。

ImperasDV 使用 ImperasFPM（快速處理器模型）作為設(shè)計(jì)驗(yàn)證的參考模型。該模型可以配置基本 ISA 和擴(kuò)展指令，包括設(shè)計(jì)者定制的功能，以匹配待測(cè)處理器。

ImperasDV 可以用于 SystemVerilog/UVM 測(cè)試平臺(tái)，或任何具有 C 語言接口的平臺(tái)。它使用 RVVI-TRACE 接口連接到待測(cè)處理器，并提供架構(gòu)狀態(tài)的持續(xù)比較和檢查。

ImperasFC 則是一個(gè) RISC-V 指令集的 SystemVerilog 功能覆蓋模型，可以為 RISC-V ISA 中的每個(gè)擴(kuò)展提供自動(dòng)生成的功能覆蓋率模型。

ImperasTS 提供針對(duì) RISC-V ISA 的復(fù)雜和可配置擴(kuò)展集的測(cè)試套件，用來確保設(shè)計(jì)和 ISA 之間的兼容性和一致性。

ImperasDV 使用鎖步連續(xù)比較的設(shè)計(jì)驗(yàn)證方法，這是一種協(xié)同仿真方法，其中 RTL 和參考模型以鎖步方式運(yùn)行。同一個(gè)程序在 RTL 和 ImperasFPM 上并行執(zhí)行，每條指令完成時(shí)，比較兩者的架構(gòu)狀態(tài)，狀態(tài)不匹配會(huì)立即報(bào)告為錯(cuò)誤。

通過這種全面的設(shè)計(jì)驗(yàn)證方法，實(shí)現(xiàn)高效驗(yàn)證，更快發(fā)現(xiàn)錯(cuò)誤，立即報(bào)告，方便開發(fā)者在故障點(diǎn)進(jìn)行調(diào)試。

ImperasDV 技術(shù)優(yōu)勢(shì)

ImperasDV 擁有顯著的技術(shù)優(yōu)勢(shì)，主要表現(xiàn)在以下幾個(gè)方面：

顯著縮短處理器設(shè)計(jì)驗(yàn)證進(jìn)度，高效的驗(yàn)證方法能顯著減少整體驗(yàn)證周期。

支持驗(yàn)證最佳實(shí)踐，包括功能覆蓋率和約束隨機(jī)測(cè)試生成。

實(shí)現(xiàn)復(fù)雜功能的設(shè)計(jì)驗(yàn)證，例如中斷、調(diào)試模式、特權(quán)模式、虛擬內(nèi)存、多核、多發(fā)射以及亂序流水線等。

支持定制功能的設(shè)計(jì)驗(yàn)證，可擴(kuò)展以驗(yàn)證用戶自定義的處理器特性。

采用鎖步連續(xù)比較方法，RTL 與參考模型協(xié)同仿真，指令完成后立即比較架構(gòu)狀態(tài)。

驗(yàn)證異步事件的專有同步技術(shù)可有效處理異步事件，減少錯(cuò)誤來源。

硬件與軟件開發(fā)共享同一參考模型，提高一致性，支持跨領(lǐng)域驗(yàn)證和開發(fā)。

端到端的驗(yàn)證和仿真工具集

新思科技在驗(yàn)證領(lǐng)域一直處于領(lǐng)先地位，為客戶提供一系列端到端的驗(yàn)證和仿真工具集。ImperasDV 與新思科技其他驗(yàn)證工具都可以完美結(jié)合。與 VCS 一起進(jìn)行 RISC-V RTL 仿真，功能覆蓋率輸出會(huì)發(fā)送到調(diào)試和驗(yàn)證管理平臺(tái) Verdi。新思科技 VCS 與 ImperasDV 的結(jié)合降低了 RTL 風(fēng)險(xiǎn)并加速驗(yàn)證進(jìn)度。

結(jié)語

新思科技匯聚行業(yè)頂尖專家，不斷革新工具，始終走在最新技術(shù)應(yīng)用的前沿，在 RISC-V 驗(yàn)證領(lǐng)域也持續(xù)與合作伙伴保持深厚且值得信賴的關(guān)系，為合作伙伴提供卓越的產(chǎn)品和服務(wù)。