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

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

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