ABC对输入MV文件的解决方案网络毕业论文(5)

       图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．