基于子圖同構(gòu)的晶體管級電路門級模型抽取的研究.pdf

1、隨著VLSI的發(fā)展，電路日益增長的復雜性，使得自動從電路的晶體管級網(wǎng)表中抽取出門級模型變得愈發(fā)重要。在傳統(tǒng)應用上，得到的門級模型可用于電路的功能仿真，與晶體管級仿真相比可節(jié)約大量的資源；而在形式化驗證中，尤其是等價性檢驗中，門級模型的自動抽取也扮演著非常重要的角色。所以，必須研究開發(fā)一種抽取性能好，能處理大規(guī)模電路的門級模型抽取方案。基于子圖同構(gòu)的晶體管級電路門級模型抽取方法是目前較好的解決方案之一。該方法將電路轉(zhuǎn)換為一個與之等價的圖的

2、結(jié)構(gòu)，從而能明顯降低時間復雜度，提高抽取能力。
　　本文結(jié)合具體的研究項目，對基于子圖同構(gòu)的晶體管級電路的門級模型抽取進行了系統(tǒng)的研究，并對DECIDE算法進行了改進和實現(xiàn)，取得了部分研究成果。主要內(nèi)容為：
　　1．研究了晶體管級電路門級模型抽取的兩大類主要方法，并對這兩類方法進行了分析、比較。針對基于子圖同構(gòu)的抽取方法，進行了仔細的理論研究和分析，在此基礎(chǔ)上，對經(jīng)典的DECIDE算法進行了改進和實現(xiàn)。
　　2．根據(jù)項

3、目實現(xiàn)的具體要求，針對實現(xiàn)中的技術(shù)難點進行了分析，提出了本系統(tǒng)的實現(xiàn)方案，并對該方案的實現(xiàn)進行了可行性分析，然后給出了系統(tǒng)實現(xiàn)框圖。
　　3．根據(jù)系統(tǒng)要求，對系統(tǒng)中的每個功能模塊進行了設計實現(xiàn)。主要包括輸入處理模塊、匹配模塊和門級模型輸出模塊的設計與實現(xiàn)。并根據(jù)實際運算中的數(shù)據(jù)特性，對運算數(shù)據(jù)的存取進行了創(chuàng)新設計。
　　4．對晶體管級電路門級模型抽取軟件進行了性能分析，包括時間復雜度和內(nèi)存使用兩方面，并進行了系統(tǒng)測試，對測試