RISC-V驗(yàn)證解決方案的領(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è)計(jì)引入了Imperas參考設(shè)計(jì)和Imperas DV解決方案。Codasip已在處理器驗(yàn)證方面進(jìn)行了巨大的投入，以提供業(yè)界最高質(zhì)量的RISC-V處理器。

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

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

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

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

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