RISC-V驗證解決方案的領(lǐng)導(dǎo)者Imperas Software Ltd.和領(lǐng)先的定制化RISC-V處理器半導(dǎo)體知識產(chǎn)權(quán)（IP）內(nèi)核供應(yīng)商Codasip日前聯(lián)合宣布：Codasip已為其IP設(shè)計引入了Imperas參考設(shè)計和Imperas DV解決方案。Codasip已在處理器驗證方面進行了巨大的投入，以提供業(yè)界最高質(zhì)量的RISC-V處理器。

Codasip在其DV測試平臺中集成了Imperas黃金參考模型，以確保實現(xiàn)高效的驗證流程并能夠適應(yīng)多樣化且靈活的功能和選擇項，同時可在未來內(nèi)核產(chǎn)品的整個路線圖上進行擴展，以實現(xiàn)對功能質(zhì)量的嚴格保障。

RISC-V是一種模塊化架構(gòu)，它可提供由許多不同基本指令、標準可選擴展項和自定義指令構(gòu)成的組合，這引起了業(yè)界對RISC-V實現(xiàn)方法和碎片化風(fēng)險的擔(dān)憂。Codasip的內(nèi)部測試已經(jīng)采用了一個內(nèi)部的具有精確指令的模型、多個直接和隨機測試源（可由內(nèi)部和外部提供），以及多種不同的技術(shù)來檢查和確保處理器的符合性。Imperas的可配置參考模型已經(jīng)經(jīng)過了全面的測試，并能實現(xiàn)所有的配置選項，來支持這種綜合解決方案。

位于法國索菲亞科技園（Sophia-Antipolis）的Codasip工程團隊已專精于處理器領(lǐng)域多年，非常了解不斷演進的RISC-V規(guī)范所帶來的挑戰(zhàn)、完整的Codasip處理器IP產(chǎn)品組合、各種擴展選項和可配置功能、以及未來路線圖計劃等。Imperas解決方案被業(yè)界認為是支持可運營工作負載和規(guī)模要求的理想選擇。Codasip工程團隊圍繞Imperas RISC-V參考模型設(shè)置了基礎(chǔ)架構(gòu)和測試框架，以有效地測試所有配置，并能夠接納路線圖上的新功能。

Codasip驗證總監(jiān)Philippe Luc表示：“Imperas在RISC-V仿真技術(shù)和處理器驗證方面是行業(yè)先驅(qū)。雖然處理器驗證并不是一個新問題，但問題是市場上眾多RISC-V供應(yīng)商帶來了各自的定制化方案和不同的驗證等級或一致性方案，從而使客戶自然而然地對RISC-V的質(zhì)量和碎片化問題都產(chǎn)生了擔(dān)憂。Codasip團隊對自己嚴格的驗證方法感到非常自豪，通過將Imperas的參考設(shè)計和解決方案納入到我們質(zhì)量流程中并成為其中一個重要組成部分，則進一步擴大了我們的差異化優(yōu)勢。Imperas的獨立性、聲譽和技術(shù)實力讓我們的客戶更加放心，因為我們的組合能夠提供業(yè)內(nèi)最佳的RISC-V處理器?！?/p>

Imperas Software Ltd首席執(zhí)行官Simon Davidmann補充道：“Codasip為RISC-V市場提供了一系列處理器解決方案，它們可以幫助各種應(yīng)用去優(yōu)化性能。該處理器IP的設(shè)計驗證是Codasip在向下一代IP發(fā)展時，繼續(xù)提供最高質(zhì)量處理器的基礎(chǔ)。每項附加的、可選的功能都會使驗證工作量增加一倍。Imperas提供的解決之道是通過使用仿真將持續(xù)集成/持續(xù)開發(fā)工作應(yīng)用到一個復(fù)雜的處理器DV環(huán)境中，從而支持Codasip的開發(fā)，并在不影響可選功能的情況下提供效率優(yōu)勢。Imperas和Codasip有一個共同的愿景，即提高RISC-V的質(zhì)量是其成功的關(guān)鍵?！?/p>