首頁(yè)  資訊  商機(jī)   下載  拆解   高校  招聘   雜志  會(huì)展  EETV  百科   問(wèn)答  電路圖  工程師手冊(cè)   Datasheet  100例   活動(dòng)中心  E周刊閱讀   樣片申請(qǐng)
        EEPW首頁(yè) >> 主題列表 >> 形式驗(yàn)證工具

        形式驗(yàn)證工具 文章 最新資訊

        利用先進(jìn)形式驗(yàn)證工具來(lái)高效完成RISC-V處理器驗(yàn)證

        • 我們?cè)谏弦黄夹g(shù)白皮書(shū)《基于形式驗(yàn)證的高效RISC-V處理器驗(yàn)證方法》中,以Codasip L31這款用于微控制器應(yīng)用的32位中端嵌入式RISC-V處理器內(nèi)核為例,介紹了一個(gè)基于形式驗(yàn)證的、易于調(diào)動(dòng)的RISC-V處理器驗(yàn)證程序。它與RISC-V ISA黃金模型和RISC-V合規(guī)性自動(dòng)生成的檢查一起,展示了如何有效地定位那些無(wú)法進(jìn)行仿真的漏洞。RISC-V的開(kāi)放性允許定制和擴(kuò)展基于RISC-V內(nèi)核的架構(gòu)和微架構(gòu),以滿足特定需求。這種對(duì)設(shè)計(jì)自由的渴望也正在將驗(yàn)證部分的職責(zé)轉(zhuǎn)移到不斷壯大的開(kāi)發(fā)人員社群。然而,隨
        • 關(guān)鍵字: 形式驗(yàn)證工具  RISC-V  驗(yàn)證  
        共1條 1/1 1

        形式驗(yàn)證工具介紹

        您好,目前還沒(méi)有人創(chuàng)建詞條形式驗(yàn)證工具!
        歡迎您創(chuàng)建該詞條,闡述對(duì)形式驗(yàn)證工具的理解,并與今后在此搜索形式驗(yàn)證工具的朋友們分享。    創(chuàng)建詞條

        熱門(mén)主題

        樹(shù)莓派    linux   
        關(guān)于我們 - 廣告服務(wù) - 企業(yè)會(huì)員服務(wù) - 網(wǎng)站地圖 - 聯(lián)系我們 - 征稿 - 友情鏈接 - 手機(jī)EEPW
        Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
        《電子產(chǎn)品世界》雜志社 版權(quán)所有 北京東曉國(guó)際技術(shù)信息咨詢有限公司
        備案 京ICP備12027778號(hào)-2 北京市公安局備案:1101082052    京公網(wǎng)安備11010802012473
        主站蜘蛛池模板: 满城县| 资讯 | 永泰县| 石河子市| 呼伦贝尔市| 黔西县| 新津县| 易门县| 新乡市| 黄山市| 三河市| 唐海县| 开鲁县| 云霄县| 观塘区| 南安市| 大邑县| 富源县| 绥阳县| 阿勒泰市| 宣城市| 西峡县| 西华县| 冷水江市| 全椒县| 东海县| 瑞金市| 二连浩特市| 甘泉县| 奉节县| 道孚县| 上饶市| 家居| 湄潭县| 罗定市| 定州市| 上杭县| 和政县| 武城县| 安顺市| 石台县|