EEPW首頁(yè) >>
主題列表 >>
形式驗證
形式驗證 文章 進(jìn)入形式驗證技術(shù)社區
基于形式驗證的高效RISC-V處理器驗證方法
- RISC-V的開(kāi)放性允許定制和擴展基于 RISC-V 內核的架構和微架構，以滿(mǎn)足特定需求。這種對設計自由的渴望也正在將驗證部分的職責轉移到不斷壯大的開(kāi)發(fā)人員社群。然而，隨著(zhù)越來(lái)越多的企業(yè)和開(kāi)發(fā)人員轉型RISC-V，大家才發(fā)現處理器驗證絕非易事。新標準由于其新穎和靈活性而帶來(lái)的新功能會(huì )在無(wú)意中產(chǎn)生規范和設計漏洞，因此處理器驗證是處理器開(kāi)發(fā)過(guò)程中一項非常重要的環(huán)節。在復雜性一般的RISC-V 處理器內核的開(kāi)發(fā)過(guò)程中，會(huì )發(fā)現數百甚至數千個(gè)漏洞。當引入更多高級特性的時(shí)候，也會(huì )引入復雜程度各不相同的新漏洞。而某些類(lèi)
- 關(guān)鍵字： 形式驗證 RISC-V
Codasip攜手西門(mén)子打造RISC-V領(lǐng)域最完整形式驗證
- 處理器設計自動(dòng)化領(lǐng)域的領(lǐng)導性企業(yè)Codasip近日宣布：通過(guò)采用西門(mén)子集團Siemens EDA的OneSpin IC驗證工具，擴大了其形式驗證解決方案的可用工具范圍，以進(jìn)行全面和徹底的處理器測試。Codasip不斷在處理器驗證方面投入巨資，以再接再厲為業(yè)界提供最高質(zhì)量的RISC-V處理器半導體知識產(chǎn)權（IP）。Siemens EDA的OneSpin工具提供了一個(gè)先進(jìn)且無(wú)比強大的驗證平臺，用以解決關(guān)鍵的芯片完整性問(wèn)題。OneSpin是極為先進(jìn)的形式驗證工具，適用于汽車(chē)和其他高完整性處理器應用，能以最少的設
- 關(guān)鍵字： Codasip 西門(mén)子EDA RISC-V 形式驗證
| 共2條 1/1 1 |
形式驗證介紹
您好，目前還沒(méi)有人創(chuàng )建詞條形式驗證!
歡迎您創(chuàng )建該詞條，闡述對形式驗證的理解，并與今后在此搜索形式驗證的朋友們分享。 創(chuàng )建詞條
歡迎您創(chuàng )建該詞條，闡述對形式驗證的理解，并與今后在此搜索形式驗證的朋友們分享。 創(chuàng )建詞條
形式驗證資料下載
關(guān)于我們 -
廣告服務(wù) -
企業(yè)會(huì )員服務(wù) -
網(wǎng)站地圖 -
聯(lián)系我們 -
征稿 -
友情鏈接 -
手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權所有 北京東曉國際技術(shù)信息咨詢(xún)有限公司
京ICP備12027778號-2 北京市公安局備案：1101082052 京公網(wǎng)安備11010802012473
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權所有 北京東曉國際技術(shù)信息咨詢(xún)有限公司
京ICP備12027778號-2 北京市公安局備案：1101082052 京公網(wǎng)安備11010802012473