EEPW首頁(yè) >>
主題列表 >>
形式驗證工具
形式驗證工具 文章 進(jìn)入形式驗證工具技術(shù)社區
利用先進(jìn)形式驗證工具來(lái)高效完成RISC-V處理器驗證
- 我們在上一篇技術(shù)白皮書(shū)《基于形式驗證的高效RISC-V處理器驗證方法》中，以Codasip L31這款用于微控制器應用的32位中端嵌入式RISC-V處理器內核為例，介紹了一個(gè)基于形式驗證的、易于調動(dòng)的RISC-V處理器驗證程序。它與RISC-V ISA黃金模型和RISC-V合規性自動(dòng)生成的檢查一起，展示了如何有效地定位那些無(wú)法進(jìn)行仿真的漏洞。RISC-V的開(kāi)放性允許定制和擴展基于RISC-V內核的架構和微架構，以滿(mǎn)足特定需求。這種對設計自由的渴望也正在將驗證部分的職責轉移到不斷壯大的開(kāi)發(fā)人員社群。然而，隨
- 關(guān)鍵字： 形式驗證工具 RISC-V 驗證
| 共1條 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