透過您的圖書館登入
IP:3.134.110.16
  • 學位論文

多元二次方程組實作於現場可程式化閘陣列-查找表映射面積改良與優化

Quadratic Equations Set Implementation on FPGAs - With Area Oriented Mapping Minimization and Optimization for Look-up Table

指導教授 : 鄭振牟

摘要


在這份論文中,我們提出了一組用來做預先處理的特定領域應用的工具鏈,並且假設工具鏈之應用為多變數二次方程組之實作,應用環境為現場可程式化閘陣列。我們的目標是竭盡的利用多變數二次方程組的知識,來幫助廣用途的工具鏈能兼具廣度與深度使得效果更好。在我們的工具鏈中包含了兩種啟發式演算法:使用貪婪啟發式演算法來建造一些單輸出扇形錐於輸入端並減少結構性偏頗,以及使用共用函式萃取演算法來達成面積重用。這兩種啟發式演算法的目的為幫助輸出BLIF 格式的檔案,並且進一步將檔案輸入至最新的學術工具ABC當中。最後,工具ABC也會輸出BLIF格式的檔案,檔案中每個子區塊都是一個查找表,並且透過簡單的翻譯即可產出最後的Verilog模組。從實驗結果我們主張應用此工具鏈跟先例比較起來,能減少11.2%的合成面積。

並列摘要


This work proposed a domain specific toolchain for pre-processing and assume that the application is the multivariate quadratic equations set implementation on FPGA. The purpose is to exhaustively apply the domain knowledge of multivariate quadratic equations to help the generic tools to perform well, benefitting breadth from generic tool and depth from domain knowledge. Two heuristics are integrated in the toolchain: greedy heuristic to construct a few k-feasible fanout free cones (FFCs) close to fanin for a equations to reduce structural-bias, and common subexpression extraction to extract the sharing expression among equations for area reuse. The goal of the heuristics is to generate a well-formed circuit in BLIF format, and the file will be further processed by the state-of-the-art academic software synthesis system ABC to perform structural LUT mapping. After mapping, the output from ABC is also a BLIF format file where each sub-circuit block represents a LUT, and the final translation to verilog module is only naive one-to-one. The experimental result shows that for area-oriented mapping, our toolchain can reduce the area up to 11.2% comparing to previous work.

參考文獻


[abc] ABC, A System for Sequential Synthesis and Verification. Berkeley Logic Synthesis and Verification Group, http://www.eecs.berkeley. edu/~alanmi/abc/.
[CMB+06] Satrajit Chatterjee, Alan Mishchenko, RobertK. Brayton, Xinning Wang, and Timothy Kam. Reducing structural bias in technology mapping. IEEE Trans. on CAD of Integrated Circuits and Systems, 25(12):2894–2903, 2006.
[DY09] Jintai Ding and Bo-Yin Yang. Multivariate public key cryptography, 2009.
[GJ79] Michael R. Garey and David S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, 1979.
[jso] JavaScript Object Notation, JSON. http://www.json.org/.

延伸閱讀