首頁　 資訊　 商機 　 下載　 拆解 　 高校　 招聘 　 雜志　 會展　 EETV　 百科 　 問答　 電路圖　 工程師手冊 　 Datasheet　 100例 　 活動中心　 E周刊閱讀 　 樣片申請
EEPW首頁 >> 主題列表 >> 形式驗證

基于形式驗證的高效RISC-V處理器驗證方法

  • RISC-V的開放性允許定制和擴展基于 RISC-V 內(nèi)核的架構(gòu)和微架構(gòu)，以滿足特定需求。這種對設(shè)計自由的渴望也正在將驗證部分的職責(zé)轉(zhuǎn)移到不斷壯大的開發(fā)人員社群。然而，隨著越來越多的企業(yè)和開發(fā)人員轉(zhuǎn)型RISC-V，大家才發(fā)現(xiàn)處理器驗證絕非易事。新標(biāo)準(zhǔn)由于其新穎和靈活性而帶來的新功能會在無意中產(chǎn)生規(guī)范和設(shè)計漏洞，因此處理器驗證是處理器開發(fā)過程中一項非常重要的環(huán)節(jié)。在復(fù)雜性一般的RISC-V 處理器內(nèi)核的開發(fā)過程中，會發(fā)現(xiàn)數(shù)百甚至數(shù)千個漏洞。當(dāng)引入更多高級特性的時候，也會引入復(fù)雜程度各不相同的新漏洞。而某些類
  • 關(guān)鍵字： 形式驗證  RISC-V  

Codasip攜手西門子打造RISC-V領(lǐng)域最完整形式驗證

  • 處理器設(shè)計自動化領(lǐng)域的領(lǐng)導(dǎo)性企業(yè)Codasip近日宣布：通過采用西門子集團Siemens EDA的OneSpin IC驗證工具，擴大了其形式驗證解決方案的可用工具范圍，以進行全面和徹底的處理器測試。Codasip不斷在處理器驗證方面投入巨資，以再接再厲為業(yè)界提供最高質(zhì)量的RISC-V處理器半導(dǎo)體知識產(chǎn)權(quán)（IP）。Siemens EDA的OneSpin工具提供了一個先進且無比強大的驗證平臺，用以解決關(guān)鍵的芯片完整性問題。OneSpin是極為先進的形式驗證工具，適用于汽車和其他高完整性處理器應(yīng)用，能以最少的設(shè)
  • 關(guān)鍵字： Codasip  西門子EDA  RISC-V  形式驗證  
共2條 1/1 1

形式驗證介紹

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

熱門主題

樹莓派    linux   
關(guān)于我們 - 廣告服務(wù) - 企業(yè)會員服務(wù) - 網(wǎng)站地圖 - 聯(lián)系我們 - 征稿 - 友情鏈接 - 手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權(quán)所有 北京東曉國際技術(shù)信息咨詢有限公司
備案 京ICP備12027778號-2 北京市公安局備案：1101082052    京公網(wǎng)安備11010802012473