德(de)國慕(mu)尼黑，2022年5月——處(chu)(chu)理器(qi)(qi)設計自(zi)動化領域的(de)(de)領導性企業Codasip宣布：通過采(cai)用(yong)(yong)西門子集團Siemens EDA的(de)(de)OneSpin IC驗(yan)證工具，擴大了其形式驗(yan)證解決方(fang)案的(de)(de)可用(yong)(yong)工具范圍(wei)，以進行全面和徹底的(de)(de)處(chu)(chu)理器(qi)(qi)測試(shi)。Codasip不斷在處(chu)(chu)理器(qi)(qi)驗(yan)證方(fang)面投入巨資，以再接再厲為業界提供最高質量的(de)(de)RISC-V處(chu)(chu)理器(qi)(qi)半導體知識(shi)產權（IP）。
Siemens EDA的OneSpin工具提供了一個先進且無比強大的驗證平臺，用以解決關鍵的芯片完(wan)整(zheng)性問題。OneSpin是極為先進的形式驗證工具，適用(yong)(yong)于汽(qi)車和其他高完(wan)整(zheng)性處(chu)理器應用(yong)(yong)，能以(yi)最少的設置和運行時間來驗證設計(ji)實現。
得益于其高(gao)質(zhi)量的RISC-V處理(li)器，Codasip在競(jing)爭對手中脫穎(ying)而出。目前，已經有20億(yi)顆Codasip處理(li)器IP內核(he)投(tou)入(ru)使用，其中大部分是面向一流客戶，因此Codasip必(bi)須繼續始終如(ru)一地(di)提供最高(gao)質(zhi)量的處理(li)器IP。
Siemens EDA芯片設(she)計(ji)驗證(zheng)部門戰(zhan)略(lve)總(zong)監(jian)Neil Hand表示：“我們很高(gao)興與Codasip合作，幫助(zhu)確保其RISC-V處(chu)理(li)器IP的(de)(de)高(gao)質量，并為我們共同的(de)(de)客戶建(jian)立優化的(de)(de)解決方(fang)案。我們的(de)(de)OneSpin形式驗證(zheng)工具(ju)擁有世界一流的(de)(de)技術，包括OneSpin RISC-V驗證(zheng)解決方(fang)案，當它們與Codasip創新的(de)(de)RISC-V IP相(xiang)結合，形成了幫助(zhu)芯片設(she)計(ji)人員快速將高(gao)質量產品(pin)推向市場的(de)(de)關鍵力量。”
Codasip的首席營銷(xiao)官(guan)Rupert Baines評論道：“坦率地說，一些RISC-V IP在驗(yan)證方(fang)面的糟糕情(qing)況令人(ren)震驚。開(kai)發人(ren)員(yuan)對RISC-V IP質(zhi)量(liang)的擔憂合乎情(qing)理，這阻礙了(le)它的采(cai)用(yong)。更高(gao)(gao)質(zhi)量(liang)和經(jing)過形(xing)式(shi)驗(yan)證的RISC-V IP將(jiang)幫助它跨越鴻(hong)溝，并大規模地提高(gao)(gao)其采(cai)用(yong)率。”
Codasip的(de)(de)驗證總監Philippe Luc補(bu)充(chong)說(shuo)：“我(wo)(wo)們為自己(ji)嚴格的(de)(de)驗證方法以及強大的(de)(de)內(nei)部驗證團隊感(gan)到非常自豪。我(wo)(wo)們擁有(you)極其(qi)徹底的(de)(de)內(nei)部測試方法，并(bing)結合了一(yi)流(liu)的(de)(de)第(di)三方工具。作(zuo)為其(qi)中的(de)(de)一(yi)部分，我(wo)(wo)們很高興使(shi)用Siemens EDA的(de)(de)OneSpin技術(shu)，這是Codasip的(de)(de)重要(yao)合作(zuo)伙伴，我(wo)(wo)們期待建立更(geng)緊密的(de)(de)和富有(you)成效的(de)(de)合作(zuo)關系。”
Codasip使用Siemens EDA（前身(shen)為Mentor Graphics）作為其(qi)主要的(de)EDA工具流。
Codasip于5月4日在圣克拉拉舉行的Siemens EDA User2User2022會(hui)議(yi)上介(jie)紹了其使用OneSpin工具的(de)(de)經(jing)驗，并將在(zai)5月12日于慕尼黑舉行的(de)(de)Siemens EDA User2User2022會(hui)議(yi)上再次(ci)介(jie)紹其使用經(jing)驗。
