【摘要】： 隨著集成電路規(guī)模和復(fù)雜度的急劇增長,驗(yàn)證已成為當(dāng)前集成電路設(shè)計(jì)中最困難、最具挑戰(zhàn)的課題。驗(yàn)證的工作量和消耗的資源已占集成電路設(shè)計(jì)總體工作量和耗費(fèi)資源的80%以上。但目前,驗(yàn)證方法學(xué)發(fā)展水平仍滯后于集成電路規(guī)模的擴(kuò)張,成為了集成電路產(chǎn)業(yè)發(fā)展的瓶頸。因此改進(jìn)驗(yàn)證方法學(xué)以提高驗(yàn)證效率就成為了研究的熱點(diǎn)。而提高驗(yàn)證效率也是貫穿本文的主線。 提升驗(yàn)證的抽象層次是提高驗(yàn)證效率最重要的方法。通過提高抽象層次,可以在驗(yàn)證時(shí)將關(guān)注的重點(diǎn)放在事物級(jí)的傳輸和操作上。這就使得驗(yàn)證工程師在構(gòu)建驗(yàn)證平臺(tái)、編寫驗(yàn)證激勵(lì)和觀測仿真結(jié)果時(shí),都無需花費(fèi)大量的時(shí)間、精力去處理底層信號(hào)間繁雜的時(shí)序關(guān)系。同時(shí)將驗(yàn)證中的操作抽象出來,構(gòu)建出總線功能模型和驗(yàn)證工具箱可以促進(jìn)驗(yàn)證元件的可重用性。 為了模擬AHB-PC Card橋接器軟核的真實(shí)工作環(huán)境以對(duì)其進(jìn)行驗(yàn)證,本文利用逐層抽象的方法設(shè)計(jì)出了PC卡的總線功能模型。并在PC卡總線功能模型和AHB Master總線功能模型的基礎(chǔ)上,進(jìn)一步提高抽象級(jí)別,構(gòu)建出了三個(gè)層次的驗(yàn)證工具箱。它們使驗(yàn)證人員可以忽略橋接器兩側(cè)總線上眾多信號(hào)復(fù)雜的時(shí)序,將關(guān)注的重點(diǎn)轉(zhuǎn)移到橋的數(shù)據(jù)傳輸層面上來。由此簡化了驗(yàn)證過程,并使得每條驗(yàn)證用例的激勵(lì)更復(fù)雜,提高了單條驗(yàn)證用例的覆蓋率,減少了總體仿真時(shí)間。 除提升驗(yàn)證的抽象層次外,本次驗(yàn)證還使用了驗(yàn)證自動(dòng)化方法、用仿真模型提高驗(yàn)證效率的方法,以及以覆蓋率為導(dǎo)向添加驗(yàn)證用例來保證驗(yàn)證充分性的方法。 本文還深入分析了仿真器處理仿真中并行進(jìn)程的方式及其產(chǎn)生原因。在此基礎(chǔ)上,進(jìn)一步介紹了本次驗(yàn)證構(gòu)建驗(yàn)證平臺(tái)時(shí)如何避免仿真器的并行處理方式帶來的消極影響。驗(yàn)證過程中所作的這些努力均提高了橋接器的驗(yàn)證效率,縮短了研發(fā)周期。 本論文用以提高驗(yàn)證效率的方法,同樣適用于其他數(shù)字集成電路的驗(yàn)證需要。所設(shè)計(jì)的PC卡總線功能模型和構(gòu)造的驗(yàn)證工具箱等驗(yàn)證元件具有可重用性,可在其他類似設(shè)計(jì)的驗(yàn)證中重用。
【圖文】：

圖 2-1 設(shè)計(jì)與驗(yàn)證的層次驗(yàn)證主要驗(yàn)證集成電路體系結(jié)構(gòu)是否合理，是否能夠通常利用 HDL 語言的行為級(jí)描述構(gòu)建所設(shè)計(jì)的證對(duì)寄存器傳輸（RTL）級(jí)的代碼進(jìn)行，，可分為模塊級(jí)的驗(yàn)證針對(duì)設(shè)計(jì)的子電路模塊，由于各個(gè)子模驗(yàn)證平臺(tái)進(jìn)行驗(yàn)證，因此模塊級(jí)的驗(yàn)證由設(shè)計(jì)該證針對(duì)設(shè)計(jì)好的整個(gè)集成電路系統(tǒng)。由于當(dāng)今集成需要精心設(shè)計(jì)驗(yàn)證用例，并搭建驗(yàn)證平臺(tái)進(jìn)行驗(yàn)件延時(shí)的影響，主要關(guān)注設(shè)計(jì)對(duì)象的功能是否正

讀PC卡CommonMemory空間時(shí)序?qū)懣–ommonMemory空間的典型時(shí)序如圖3-2所示
【學(xué)位授予單位】：電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2007
【分類號(hào)】：TP336

【參考文獻(xiàn)】

相關(guān)期刊論文 前5條

1 吳樹偉;;基于AMBA架構(gòu)的SoC芯片驗(yàn)證的方法[J];中國集成電路;2006年07期

2 林文敏,吳濤,沈泊;基于AMBA總線的SoC平臺(tái)的設(shè)計(jì)和驗(yàn)證[J];計(jì)算機(jī)工程與應(yīng)用;2005年28期

3 解詠梅,張珩,張福新;基于覆蓋率的功能驗(yàn)證方法[J];計(jì)算機(jī)應(yīng)用研究;2005年01期

4 王晨旭,桑勝田,王進(jìn)祥,喻明艷,葉以正;AHB-PCI橋的設(shè)計(jì)及其驗(yàn)證方法[J];微處理機(jī);2004年01期

5 杜旭,夏曉菲,趙宇;總線功能模型在集成電路功能驗(yàn)證中的設(shè)計(jì)和應(yīng)用[J];微電子學(xué)與計(jì)算機(jī);2004年05期

本文編號(hào)：2658853