印度班加羅爾和德國(guó)慕尼黑2021年3月29日 /美通社/ -- 正確功能CPU構(gòu)建和片上系統(tǒng)執(zhí)行設(shè)計(jì)驗(yàn)證產(chǎn)品供應(yīng)商Valtrix Systems和可定制RISC-V®嵌入式處理器IP領(lǐng)先供應(yīng)商Codasip今天宣布，兩家公司將合作驗(yàn)證基于RISC-V的系統(tǒng)。
此次合作致力于將Valtrix STING產(chǎn)品添加到Codasip廣泛的處理器驗(yàn)證方法中。STING的設(shè)計(jì)驗(yàn)證功能完美適用于驗(yàn)證處理器，因?yàn)樗軌蛟诙鄠€(gè)待測(cè)設(shè)備環(huán)境中生成便攜式自檢激勵(lì)信號(hào)，并且允許用戶使用其測(cè)試激勵(lì)編程架構(gòu)來(lái)執(zhí)行架構(gòu)式和微架構(gòu)式功能。
Valtrix首席執(zhí)行官Shubhodeep Roy Choudhury表示：“復(fù)雜CPU和片上系統(tǒng)的執(zhí)行在提交給最終用戶之前需要進(jìn)行徹底的驗(yàn)證。STING提供一種功能強(qiáng)大且經(jīng)過(guò)充分驗(yàn)證的設(shè)計(jì)驗(yàn)證方法，用于測(cè)試RISC-V特性和擴(kuò)展功能的架構(gòu)合規(guī)性和功能正確性。我們非常自豪能與Codasip合作，利用STING為他們的工程團(tuán)隊(duì)提供驗(yàn)證需求支持。”
Codasip驗(yàn)證總監(jiān)Philippe Luc表示：“Codasip通過(guò)進(jìn)行嚴(yán)格的驗(yàn)證以確保其處理器IP產(chǎn)品的質(zhì)量。Codasip在其驗(yàn)證戰(zhàn)略中始終采用多種方法，與Valtrix合作和使用STING工具可為處理器激勵(lì)提供另一種補(bǔ)充方式。STING采用市場(chǎng)上的一種獨(dú)特方式進(jìn)行測(cè)試，可幫助我們?cè)诋a(chǎn)品發(fā)布前發(fā)現(xiàn)錯(cuò)誤。”
Codasip綜合使用Codasip Studio、內(nèi)部工具和第三方工具進(jìn)行處理器驗(yàn)證。例如，通過(guò)專用隨機(jī)模式生成和定向測(cè)試，處理器可進(jìn)行部件級(jí)驗(yàn)證。除內(nèi)部程序生成器之外，架構(gòu)測(cè)試還可用于最高層級(jí)。一致性檢查工具可確保黃金參考和RTL之間的相同執(zhí)行。同時(shí)，還采用形式技術(shù)來(lái)確保質(zhì)量。使用此次合作中的Valtrix STING產(chǎn)品為Codasip的RISC-V處理器又增加了一級(jí)測(cè)試。
