Codasip攜手西門子打造RISC-V領(lǐng)域完整形式驗(yàn)證，更高質(zhì)量的驗(yàn)證將推動(dòng)RISC-V IP的采用和構(gòu)建發(fā)展動(dòng)力

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

　　得益于其高質(zhì)量的RISC-V處理器，Codasip在競(jìng)爭(zhēng)對(duì)手中脫穎而出。目前，已經(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)品推向市場(chǎng)的關(guān)鍵力量?！?/span> 

　　Codasip的首席營(yíng)銷官Rupert Baines評(píng)論道：“坦率地說(shuō)，一些RISC-V IP在驗(yàn)證方面的糟糕情況令人震驚。開發(fā)人員對(duì)RISC-V IP質(zhì)量的擔(dān)憂合乎情理，這阻礙了它的采用。更高質(zhì)量和經(jīng)過(guò)形式驗(yàn)證的RISC-V IP將幫助它跨越鴻溝，并大規(guī)模地提高其采用率?！?/span> 

　　Codasip的驗(yàn)證總監(jiān)Philippe Luc補(bǔ)充說(shuō)：“我們?yōu)樽约簢?yán)格的驗(yàn)證方法以及強(qiáng)大的內(nèi)部驗(yàn)證團(tuán)隊(duì)感到非常自豪。我們擁有極其徹底的內(nèi)部測(cè)試方法，并結(jié)合了一流的第三方工具。作為其中的一部分，我們很高興使用Siemens EDA的OneSpin技術(shù)，這是Codasip的重要合作伙伴，我們期待建立更緊密的和富有成效的合作關(guān)系?！?/span> 

　　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)。