前往首頁 聯系我們 網站地圖
作者:Laurent Arditi, Paul Sargent, Thomas Aird職務:Codasip高級驗證/形式驗證工程師我們在上一篇技術白皮書《基于形式驗證的高效RISC-V處理器驗證方法》中,以Codasip L31這款用于微控制器應用的32位中端嵌入式RISC-V處理器內核為例,介紹了一個基于形式驗證的、易于調動的RISC-V處理器驗證程序。... (來源:技術文章頻道)
先進形式驗證工具RISC-V處理器 2023-6-15 17:05
中電網 中國電子行業研發工程師一站式服務平臺
關于中電網 廣告招商 聯系我們 招聘信息 友情鏈接 中電網導航 手機中電網 中電網官方微博
Copyright © 2000-2025 中電網 版權所有 京ICP備19016262號-2 京公網安備 11010802037127號
Tel: 010-53682288, 0755-33322333 Fax: 0755-33322099