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

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

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