印度班加羅爾和德國(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)過充分驗(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通過進(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)證。例如，通過專用隨機(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è)試。

關(guān)于Valtrix的STING設(shè)計(jì)驗(yàn)證工具

STING是一個(gè)面向基于RISC-V的執(zhí)行的設(shè)計(jì)驗(yàn)證平臺(tái)。該平臺(tái)可配置為生成便攜式裸金屬程序，包含自檢架構(gòu)式正確測(cè)試激勵(lì)功能，然后可在模擬、FPGA原型、仿真或硅片上激活。有關(guān)Valtrix設(shè)計(jì)驗(yàn)證技術(shù)和產(chǎn)品的更多信息，請(qǐng)?jiān)L問www.valtrix.in。

關(guān)于Codasip

Codasip提供領(lǐng)先的RISC-V處理器IP和高層級(jí)處理器設(shè)計(jì)工具，為IC設(shè)計(jì)人員提供RISC-V open ISA的所有優(yōu)勢(shì)，以及定制處理器IP的獨(dú)特能力。作為RISC-V基金會(huì)的創(chuàng)始成員以及基于LLVM和GNU的處理器解決方案的長(zhǎng)期供應(yīng)商，Codasip致力于為嵌入式和應(yīng)用處理器的開放標(biāo)準(zhǔn)貢獻(xiàn)力量。Codasip成立于2014年，總部位于德國(guó)慕尼黑，目前在歐洲擁有研發(fā)中心，在全球均有銷售代表。有關(guān)我們產(chǎn)品和服務(wù)的更多信息，請(qǐng)?jiān)L問www.codasip.com。有關(guān)RISC-V的更多信息，請(qǐng)?jiān)L問www.riscv.org。

【免責(zé)聲明：CSDN本欄目發(fā)布信息，目的在于傳播更多信息，豐富網(wǎng)絡(luò)文化，稿件僅代表作者個(gè)人觀點(diǎn)，與CSDN無(wú)關(guān)。其原創(chuàng)性以及中文陳述文字和文字內(nèi)容未經(jīng)本網(wǎng)證實(shí)，對(duì)本文以及其中全部或者部分內(nèi)容、文字的真實(shí)性、完整性、及時(shí)性本網(wǎng)不做任何保證或者承諾，請(qǐng)讀者僅作參考，并請(qǐng)自行核實(shí)相關(guān)內(nèi)容。凡注明為其他媒體來(lái)源的信息，均為轉(zhuǎn)載自其他媒體，轉(zhuǎn)載并不代表本網(wǎng)贊同其觀點(diǎn)，也不代表本網(wǎng)對(duì)其真實(shí)性負(fù)責(zé)。您若對(duì)該稿件有任何懷疑或質(zhì)疑，請(qǐng)立即與CSDN聯(lián)系，我們將迅速給您回應(yīng)并做處理。】