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

此(ci)次合作(zuo)致力(li)于將Valtrix STING產品添(tian)加(jia)到(dao)Codasip廣(guang)泛(fan)的處理(li)器驗證方法中(zhong)(zhong)。STING的設(she)計(ji)驗證功能(neng)(neng)完(wan)美適用(yong)于驗證處理(li)器，因為它能(neng)(neng)夠(gou)在多個待測(ce)設(she)備(bei)環境中(zhong)(zhong)生(sheng)成便攜式自檢(jian)激勵信號，并(bing)且(qie)允許用(yong)戶使用(yong)其測(ce)試激勵編(bian)程架(jia)構來執行架(jia)構式和(he)微(wei)架(jia)構式功能(neng)(neng)。

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

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

Codasip綜合(he)使用(yong)Codasip Studio、內部(bu)(bu)工具和第三方工具進行處理(li)器驗(yan)(yan)證(zheng)。例如，通過(guo)專用(yong)隨機(ji)模式生成和定向測試，處理(li)器可進行部(bu)(bu)件級(ji)驗(yan)(yan)證(zheng)。除內部(bu)(bu)程(cheng)序生成器之外，架構測試還(huan)可用(yong)于最(zui)高層(ceng)級(ji)。一(yi)致性檢查工具可確保黃金參考和RTL之間的(de)相同執行。同時，還(huan)采用(yong)形式技(ji)術來(lai)確保質量。使用(yong)此(ci)次合(he)作中的(de)Valtrix STING產(chan)品為Codasip的(de)RISC-V處理(li)器又增(zeng)加了一(yi)級(ji)測試。