形式驗(yàn)證文章進(jìn)入形式驗(yàn)證技術(shù)社區(qū)

基于形式驗(yàn)證的高效RISC-V處理器驗(yàn)證方法

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

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

共2條 1/1 1

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