印度班加羅爾和德國慕尼黑2021年3月29日 /美通社/ -- 正確功能CPU構(gòu)建和片上系統(tǒng)執(zhí)行設計驗證產(chǎn)品供應商Valtrix Systems和可定制RISC-V^®嵌入式處理器IP領(lǐng)先供應商Codasip今天宣布，兩家公司將合作驗證基于RISC-V的系統(tǒng)。

此次合作致力于將Valtrix STING產(chǎn)品添加到Codasip廣泛的處理器驗證方法中。STING的設計驗證功能完美適用于驗證處理器，因為它能夠在多個待測設備環(huán)境中生成便攜式自檢激勵信號，并且允許用戶使用其測試激勵編程架構(gòu)來執(zhí)行架構(gòu)式和微架構(gòu)式功能。

Valtrix首席執(zhí)行官Shubhodeep Roy Choudhury表示：“復雜CPU和片上系統(tǒng)的執(zhí)行在提交給最終用戶之前需要進行徹底的驗證。STING提供一種功能強大且經(jīng)過充分驗證的設計驗證方法，用于測試RISC-V特性和擴展功能的架構(gòu)合規(guī)性和功能正確性。我們非常自豪能與Codasip合作，利用STING為他們的工程團隊提供驗證需求支持。”

Codasip驗證總監(jiān)Philippe Luc表示：“Codasip通過進行嚴格的驗證以確保其處理器IP產(chǎn)品的質(zhì)量。Codasip在其驗證戰(zhàn)略中始終采用多種方法，與Valtrix合作和使用STING工具可為處理器激勵提供另一種補充方式。STING采用市場上的一種獨特方式進行測試，可幫助我們在產(chǎn)品發(fā)布前發(fā)現(xiàn)錯誤。”

Codasip綜合使用Codasip Studio、內(nèi)部工具和第三方工具進行處理器驗證。例如，通過專用隨機模式生成和定向測試，處理器可進行部件級驗證。除內(nèi)部程序生成器之外，架構(gòu)測試還可用于最高層級。一致性檢查工具可確保黃金參考和RTL之間的相同執(zhí)行。同時，還采用形式技術(shù)來確保質(zhì)量。使用此次合作中的Valtrix STING產(chǎn)品為Codasip的RISC-V處理器又增加了一級測試。