作者:Laurent Arditi, Paul Sargent, Thomas Aird職務:Codasip高級驗證/形式驗證工程師我們在上一篇技術白皮書《基于形式驗證的高效RISC-V處理器驗證方法》中,以Codasip L31這款用于微控制器應用的32位中端嵌入式RISC-V處理器內核為例,介紹了一個基于形式驗證的、易于調動的RISC-V處理器驗證程序。... (來源:技術文章頻道)
先進形式驗證工具RISC-V處理器 2023-6-15 17:05