集成電路等價性驗證系統(tǒng)設(shè)計及其實現(xiàn).pdf

1、隨著IT業(yè)的不斷發(fā)展，集成電路產(chǎn)業(yè)增長迅速。而隨著芯片復(fù)雜度的不斷增加，設(shè)計出錯的可能性越來越大，因而驗證越來越重要，而驗證新產(chǎn)品設(shè)計正確性的困難程度也在增長。但是傳統(tǒng)的模擬和測試方法已經(jīng)很難幫助設(shè)計人員開發(fā)出一個沒有錯誤的完整設(shè)計來。除了模擬和測試外，形式化驗證技術(shù)是一個非常有吸引力的方法，它能為設(shè)計無錯誤的產(chǎn)品提供保證。 等價性驗證是目前集成電路設(shè)計驗證中應(yīng)用最為廣泛的形式化方法，其核心目標是驗證兩個設(shè)計模型之間的功能等價性

2、。從整個數(shù)字系統(tǒng)的設(shè)計流程看，等價性問題幾乎存在于每個上下相鄰的設(shè)計層次中，此外在相同層次設(shè)計間做等價性驗證的也很多。由于數(shù)字系統(tǒng)的復(fù)雜性和專業(yè)性，以及電路設(shè)計人員的專業(yè)需求，要想完成一個具有靈活性、可靠性、可擴展性的集成電路等價性驗證系統(tǒng)，系統(tǒng)架構(gòu)以及核心引擎則成為最關(guān)鍵的兩個問題。 本論文正是針對上述問題，以集成電路等價性驗證系統(tǒng)的系統(tǒng)架構(gòu)為主要的研究內(nèi)容，在深入分析集成電路等價性驗證原理的基礎(chǔ)上，對系統(tǒng)架構(gòu)和核心引擎算法作