德國慕尼黑，2022年5月——處理器設(shè)計(jì)自動(dòng)化領(lǐng)域的領(lǐng)導(dǎo)性企業(yè)Codasip宣布：通過采用西門子集團(tuán)Siemens EDA的OneSpinIC驗(yàn)證工具，擴(kuò)大了其形式驗(yàn)證解決方案的可用工具范圍，以進(jìn)行全面和徹底的處理器測試。Codasip不斷在處理器驗(yàn)證方面投入巨資，以再接再厲為業(yè)界提供最高質(zhì)量的RISC-V處理器半導(dǎo)體知識產(chǎn)權(quán)（IP）。

Siemens EDA的OneSpin工具提供了一個(gè)先進(jìn)且無比強(qiáng)大的驗(yàn)證平臺(tái)，用以解決關(guān)鍵的芯片完整性問題。OneSpin是極為先進(jìn)的形式驗(yàn)證工具，適用于汽車和其他高完整性處理器應(yīng)用，能以最少的設(shè)置和運(yùn)行時(shí)間來驗(yàn)證設(shè)計(jì)實(shí)現(xiàn)。

得益于其高質(zhì)量的RISC-V處理器，Codasip在競爭對手中脫穎而出。目前，已經(jīng)有20億顆Codasip處理器IP內(nèi)核投入使用，其中大部分是面向一流客戶，因此Codasip必須繼續(xù)始終如一地提供最高質(zhì)量的處理器IP。

Siemens EDA芯片設(shè)計(jì)驗(yàn)證部門戰(zhàn)略總監(jiān)Neil Hand表示：“我們很高興與Codasip合作，幫助確保其RISC-V處理器IP的高質(zhì)量，并為我們共同的客戶建立優(yōu)化的解決方案。我們的OneSpin形式驗(yàn)證工具擁有世界一流的技術(shù)，包括OneSpin RISC-V驗(yàn)證解決方案，當(dāng)它們與Codasip創(chuàng)新的RISC-V IP相結(jié)合，形成了幫助芯片設(shè)計(jì)人員快速將高質(zhì)量產(chǎn)品推向市場的關(guān)鍵力量?！?br />
Codasip的首席營銷官Rupert Baines評論道：“坦率地說，一些RISC-V IP在驗(yàn)證方面的糟糕情況令人震驚。開發(fā)人員對RISC-V IP質(zhì)量的擔(dān)憂合乎情理，這阻礙了它的采用。更高質(zhì)量和經(jīng)過形式驗(yàn)證的RISC-V IP將幫助它跨越鴻溝，并大規(guī)模地提高其采用率?！?br />
Codasip的驗(yàn)證總監(jiān)Philippe Luc補(bǔ)充說：“我們?yōu)樽约簢?yán)格的驗(yàn)證方法以及強(qiáng)大的內(nèi)部驗(yàn)證團(tuán)隊(duì)感到非常自豪。我們擁有極其徹底的內(nèi)部測試方法，并結(jié)合了一流的第三方工具。作為其中的一部分，我們很高興使用Siemens EDA的OneSpin技術(shù)，這是Codasip的重要合作伙伴，我們期待建立更緊密的和富有成效的合作關(guān)系?！?br />
Codasip使用Siemens EDA（前身為Mentor Graphics）作為其主要的EDA工具流。

Codasip于5月4日在圣克拉拉舉行的Siemens EDA User2User2022會(huì)議上介紹了其使用OneSpin工具的經(jīng)驗(yàn)，并將在5月12日于慕尼黑舉行的Siemens EDA User2User2022會(huì)議上再次介紹其使用經(jīng)驗(yàn)。