基于e語(yǔ)言的驗(yàn)證方法和代碼重用的研究.pdf

1、在目前的集成電路設(shè)計(jì)中，芯片的設(shè)計(jì)規(guī)模和復(fù)雜程度正大幅增加，對(duì)“系統(tǒng)級(jí)”驗(yàn)證理論和技術(shù)提出新的挑戰(zhàn)。e語(yǔ)言是Verisity公司于1992年發(fā)布的一種高級(jí)驗(yàn)證語(yǔ)言?；诿嫦?qū)ο筇匦院涂芍赜玫奶匦裕琫語(yǔ)言在系統(tǒng)級(jí)驗(yàn)證中表現(xiàn)突出，近年來(lái)越來(lái)越多地引起人們的關(guān)注。 為了適應(yīng)e語(yǔ)言系統(tǒng)級(jí)驗(yàn)證的需求，本文參照Verisity公司發(fā)布的e語(yǔ)言重用方法論(e Reuse Methodology，eRM），針對(duì)一款基于ARM11處理器的片上通信

2、系統(tǒng)RTL級(jí)代碼，設(shè)計(jì)實(shí)現(xiàn)了系統(tǒng)級(jí)驗(yàn)證平臺(tái)的搭建暨代碼重用。 論文首先對(duì)典型的驗(yàn)證方法和流程做了概述，并介紹了e語(yǔ)言的基本特性。然后，詳細(xì)地闡述了e語(yǔ)言驗(yàn)證模塊(e Verification Component,eVC)中各個(gè)功能單元的設(shè)計(jì)方法，并對(duì)eVC進(jìn)行了分類。在對(duì)eVC充分理解的基礎(chǔ)上，討論了基于eVC的系統(tǒng)級(jí)驗(yàn)證模型；最后，給出了重用模塊eVC，搭建基于ARM11處理器的片上通信系統(tǒng)系統(tǒng)級(jí)驗(yàn)證平臺(tái)的具體方法及部分驗(yàn)證代