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

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

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

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