基于事務(wù)驗證方法在PMON項目中的設(shè)計與實現(xiàn).pdf

1、當今ASIC設(shè)計因其后端工藝的不斷進步(從0.35微米到0.10微米甚至0.08微米技術(shù))而規(guī)模越來越大,在今后的近十年里,電子產(chǎn)業(yè)仍將遵循摩爾定律的速度增長.但是隨著ASIC設(shè)計規(guī)模的增大,其相應(yīng)前端驗證的難度、復雜度將以幾何級數(shù)的速度增加.當今ASIC前端驗證已經(jīng)成為整個ASIC設(shè)計流程中耗時長、難度大卻又十分關(guān)鍵的階段.ASIC前端驗證已經(jīng)建立了一套完備的理論,但是因為商業(yè)利益等各方面的原因,其實現(xiàn)上尚有諸多不足.近年來Cande

2、nce公司推出了專門用于驗證的C++工具庫:Testbuilder.Testbuilder將軟件設(shè)計中的面向?qū)ο笤O(shè)計思想與ASIC前端驗證中基于事務(wù)的驗證思想完美結(jié)合,加之其全開放、免費的驗證環(huán)境,使之成為了當今業(yè)界最流行的驗證方式之一.本論文將在介紹前端驗證基本理論的基礎(chǔ)上,著重介紹如何利用testbuilder在搭建驗證環(huán)境方面的諸多優(yōu)勢,結(jié)合PMON項目原有的驗證方案,提出了一種新的驗證方案,并以實際的驗證舉例進行具體說明.第一章

3、為緒論,主要介紹ASIC開發(fā)流程以及前端驗證的基本理論,并重點介紹了基于事務(wù)驗證的基本概念及其流程,從而引出基于事務(wù)驗證的解決方案testbuilder.第二章介紹如何結(jié)合testbuilder的優(yōu)點,將現(xiàn)有的驗證方案進行進一步的改進,使之可以解決很多瓶頸問題,并論證了這一改進方案的正確性與可行性.第三章將利用第二章提出的新的驗證方案,闡述其在具體設(shè)計中的應(yīng)用,其中的三個設(shè)計舉例都是以前PMON項目的測試難點,也是經(jīng)典的驗證難點問題:仲