ABC對輸入MV文件的解決方案
論文關鍵字：ABC MV文件時序 綜合
論文摘要：ABC是一款時序電路的綜合和驗證的軟件系統。ABC為查找表和標準塊整合了基于AIGs（這個圖只有與門和非門）的邏輯優化和基于技術映射的最優延遲DAG（無回路有向圖）。MV是一種為描述時序層次電路系統而設計的，它能以層次形式來描述電路系統。ABC提供了對輸入MV文件的支持，但其對MV文件的時序支持有限，本文討論了其解決方案。
1 電路邏輯綜合的一些常用方法
1.1 使用SIS優化輸入.mv文件，經過mv2blif軟件處理后，產生.blif文件，然后送入SIS綜合軟件處理，生成優化后的blif文件，如下圖所示：
SHAPE \* MERGEFORMAT
圖 1.1
1.2 使用ABC優化輸入.mv文件，經過mv2blif軟件處理后，產生.blif文件，然后送入ABC處理，生成優化后的blif文件，如下圖所示：
SHAPE \* MERGEFORMAT
圖 1.2
1.3 對比兩種方法使用SIS優化已經是比較陳舊的方法，現在更多的是使用ABC進行優化。我們知道，數據結構和算法是一個軟件能否成功應用的核心，SIS在近幾年一些最新的改變中沒能提供一個良好的編程，比如對技術映射和延遲的整合。而且SIS在處理大型電路顯得力不從心，效率低下。而ABC使用了一種更為簡單的數據結構AIGs(由兩輸入的與門和非門組成的多層邏輯網)，使得電路綜合和驗證的質量和運行時間方面都得到很大改進。ABC提供了時序和組合的綜合算法，其現在版本在優化延遲和啟發式的縮小電路面積方面已能優化包含100K門和10K時序元素的門級設計。
但ABC本身就能輸入.mv文件，我們能否省去Mv2blif的步驟，讓ABC直接讀入mv，從而也能減少錯誤，提高效率，因為再好的軟件或多或少總會存在一些錯誤，少用一個軟件意味著我們能減少更多的錯誤。所以下面就是我們想要得到的版本：
SHAPE \* MERGEFORMAT
2 研究中發現問題及其原因
2.1 ABC中采用的網絡介紹在讀入特定電路設計文件經過軟件處理，就形成當前的網絡。ABC通過一系列對當前網絡的轉換來處理這個電路設計類似于SIS。ABC中的網絡有其特定類型，包括NetList，Logic Network和AIG網絡，下面簡要介紹各個網絡。
2.1.1 NetList網絡如果編程者在輸入文件中加入一個新的類型，想成功通過解析就必須熟悉NetList網絡的表示形式，因為解析一個輸入文件，NetList網絡是必然被創建的。NetList可以說是一個基本原始的網絡表示形式，它與輸入文件的設計一一對應，包含nets，logic nodes，latches和PI/PO 端點。每個net有一個唯一的名字。Nodes和latches是由它們所驅動的net來區分。每個nodes和latches只有一個輸出。每個PI端點、Node和latch驅動一個net。同樣每個latch、PO端點和功能結點（有一個或多個輸入）由一個net驅動。一個net能驅動有僅只有一個latch、node或者PO端點。例如，一個net不能同時驅動一個node和一個latch。在NetList中，net與net之間不能相連，非net結點與非net結點也不能相連，只能通過net相連。功能結點采用SOPs或者AIGs來表示。
2.1.2 Logic Network網絡一個logic network實際上是一個netlist去掉nets后的網絡，SIS就是用logic network網絡所表示。在ABC，默認的表示是AIG網絡，但logic network是一種很有效的中間過渡網絡表示形式。在logic network網絡中只保留 了PI/PO/latch/latch-input/latch-output這幾種數據結構的名字，丟棄了內部node的名字。因為ABC采用AIG進行深層次的綜合時，一些AIG操作很難保存AIG結點的名字，比如重寫。在logic network中，nodes 能與另一個nodes直接相連。PI/PO端點與node直接相連。一個PO端點與一個PI端點如果有一樣的名字和功能，能直接相連。一個PI端點可能有兩個扇出但沒有扇入。一個PO端點只有一個輸入但沒有輸出。端點并不是一個node也沒有邏輯功能。指向端點的指針集合不能通過一個內部node的DFS遍歷方法來獲取。在logic network網絡中，指向PI/PO端點的指針集合儲存在相應的數組。
2.1.3 AIG網絡AIG網絡是ABC中所采用網絡的內部主要表示形式。AIG是ABC所特有的，其每個node是兩輸入的與門和一個扇入/扇出邊，并且這個邊有一個可選屬性指示是否對該邊進行取反。在構造AIG的同時，AIG能被壓縮通過使用一級結構散列，它使得每一對邊最多只能做為一個結點輸入。這樣，結構散列就能保證：對于每個與門結點，就沒有其它帶相同子結點的與門；沒有僅一個輸入的結點；每個與門的層次就能反應輸入的層次。所有這些，使得操作AIGs比較操作Logic networks要快很多。
2.2 發現問題及其根本原因在研究的過程中，我們發現會產生ABC輸入mv文件經過優化后的blif 文件的輸入輸出的個數與原先讀入mv文件的輸入輸出個數的不一致問題。這是因為ABC輸入mv文件時，主要經過了兩步處理。輸入mv時，ABC把mv文件轉成了NetList，這一步是完全正確的，但在NetList轉成AIG時，出現了問題，ABC把latch的輸入當成了主輸出，把latch的輸出當成了主輸入，從而造成了有幾個latch，就多了幾個輸出輸入。
筆者認為根本原因在于，ABC對mv文件中的時序電路支持得有限，在將時序轉化為組合的過程中，也就是在NetList轉成AIG時，采用了不正確的方式去除了Latch，從而造成了有幾個latch，就多了幾個輸出輸入。
3 問題的解決方案及生成blif
3.1 解決問題在嘗試直接把NetList網絡轉成AIG網絡時，來處理這個問題，都歸于失敗。最后不得不考慮在生成的中間網絡上找解決方法。
首先，ABC處理mv文件的過程如下：
SHAPE \* MERGEFORMAT
然后，我們查看了ABC處理blif文件的過程，如下：
SHAPE \* MERGEFORMAT
經過討論，我們試想能不能構造出如下的一種處理方法來解決問題：
經過研究，我們發現這條路是可行的。但在解決的過程中我們發現，.mv文件生成的NetList網絡與.blif文件生成的NetList網絡存在不同。在前面Mv2blif軟件的實現方法中尋求靈感，我們試著將這兩個相同類型網絡轉化，最后我們成功解決了這個問題，從而實現了ABC對.mv文件能直接進行處理，并且解決了輸入輸出個數與原先的輸入輸出個數的不一致的問題。最終實現了如下版本：
SHAPE \* MERGEFORMAT
3.2 生成blif文件ABC中讀入mv文件后形成AIG網絡，要想輸出blif文件，可進行如下操作：
SHAPE \* MERGEFORMAT
4 算法實現及舉例
對網絡中的功能node進行轉換，以下是轉換node從AIG功能到BDD功能的算法，對于網絡只需要用一個遍歷，把其所有node轉換即可。
DdNode * cuddBddAndRecur( DdManager * manager, DdNode * f, DdNode * g)
{
DdNode *F, *fv, *fnv, *G, *gv, *gnv;
DdNode *one, *r, *t, *e;
unsigned int topf, topg, index;
statLine(manager); //循環次數加1
one = DD_ONE(manager); //返回manger->one，即常數結點1
//得到結點的正則狀態，如果結點取過反，則返回沒有取反的狀態
F = Cudd_Regular(f);
G = Cudd_Regular(g);
if (F == G) {
if (f == g) return(f);
else return(Cudd_Not(one)); //Cudd_Not為取反
}
if (F == one) {
if (f == one) return(g);
else return(f);
}
if (G == one) {
if (g == one) return(f);
else return(g);
}
/* 檢查緩存 */
if (F->ref != 1 || G->ref != 1) {
//如果已經有對f和g取與的情況，則直接返回
r = cuddCacheLookup2(manager, Cudd_bddAnd, f, g); if (r != NULL) return(r);
}
topf = manager->perm[F->index];
topg = manager->perm[G->index];
/* 計算因子 */
if (topf <= topg) {
index = F->index;
fv = cuddT(F);
fnv = cuddE(F);
if (Cudd_IsComplement(f)) {
fv = Cudd_Not(fv);
fnv = Cudd_Not(fnv);
}
} else {
index = G->index;
fv = fnv = f;
}
if (topg <= topf) {
gv = cuddT(G);
gnv = cuddE(G);
if (Cudd_IsComplement(g)) { //判斷g結點是否取過反
gv = Cudd_Not(gv); //對gv結點取反
gnv = Cudd_Not(gnv);
}
} else {
gv = gnv = g;
}
t = cuddBddAndRecur(manager, fv, gv);
e = cuddBddAndRecur(manager, fnv, gnv);
if (t == e) {
r = t;
} else {
if (Cudd_IsComplement(t)) {
//如果已經存在以Cudd_Not(t),Cudd_Not(e)為孩子的結點，則返回，如沒有，則重//新創建一個，并且把index賦值于它。
r = cuddUniqueInter(manager,(int)index,Cudd_Not(t),Cudd_Not(e));
r = Cudd_Not(r); //對r結點取反
} else {
r = cuddUniqueInter(manager,(int)index,t,e);
}
}
if (F->ref != 1 || G->ref != 1)
cuddCacheInsert2(manager, Cudd_bddAnd, f, g, r); //加入緩存機制
return(r);
} /* end of cuddBddAndRecur */
這里根據算法，我們舉例說明結點功能為AIG，表達式為a*b的情況，其轉換成BDD功能，如下所示：
圖4 AIG：表示a*b的功能 BDD：表示a*b的功能
5
本文簡要介紹了傳統的綜合方法，并介紹了NetList、Logic Network與AIG的網絡形式，在實現從MV文件經過ABC處理并優化生成BLIF文件的過程中，分析了過程中產生問題的根本原因，并解決了ABC對讀入MV文件的不足，是通過轉換了其讀入MV文件過程中的網絡形式來解決這個問題。最后給出了結點從AIG到BDD功能的轉換算法，和一個簡單的實例。
參考文獻
[1] The VIS Group．BLIF-MV．University of Berkeley, May 1996．
[2] MVSIS Group．MVSIS Manual．UC Berkeley, February 2001．
[3] RÜDIGER EBENDT, GÖRSCHWIN FEY, ROLF DRECHSLER．ADVANCED BDD OPTIMIZATION．University of Bremen, 2005．
[4] Berkeley Logic Synthesis and Verification Group．ABC: A System for Sequential Synthesis and Verification．December 2005 Release．http://www-cad.eecs.berkeley.edu/~alanmi/abc．
[5] J. Cong and Y. Ding, “FlowMap: An optimal technology mapping algorithm for delay optimization in lookup-table based FPGA designs”, IEEE Trans．CAD, vol. 13(1), January 1994, pp. 1-12．
[6] IWLS 2005 Benchmarks．http://iwls.org/iwls2005/benchmarks.html．
[7] S. Yang．Logic synthesis and optimization benchmarks. Version 3.0．Tech. Report. Microelectronics Center of North Carolina, 1991．
[8] The SIS Group．Berkeley Logic Interchange Format (BLIF)．University of Berkeley,
July 1992．
[9] Joachim Pistorius, Mike Hutton, Alan Mishchenko, Robert Brayton．Benchmarking Method and Designs Targeting Logic Synthesis for FPGAs．University of Berkeley, 2007．
【ABC對輸入MV文件的解決方案】相關文章：
未來十年營銷回歸ABC03-29
淺談英語教學中的輸入與輸出06-05
人力資源ABC管理法的核算方式03-25
基于DVCC8086的輸入與輸出系統設計03-20
PLC輸入/輸出點的合理使用及擴展方法01-10
文件自動分類系統Delphi03-08
關于法學論文的文件擬寫02-26
文件信息與檔案信息的研究03-21