A Dynamic Programming-Based, Path Balancing Technology Mapping Algorithm Targeting Area Minimization

Path balancing technology mapping is a method of mapping a technology-independent logical description of a circuit, such as a Boolean network, into a technology-dependent, gate-level netlist. For a gate-level netlist generated by the path balancing mapper, the difference between lengths of the longest and the shortest paths in the circuit is minimized. To achieve full path balancing, it may be necessary to add buffers on signal paths, and in such a case, the cost of buffers must be properly accounted for. This paper presents a dynamic programming-based technology mapping algorithm that generates a minimum-area mapping solution which is guaranteed to be fully path balanced. The fully path balanced mapping solution is essential to conventional superconductive single flux quantum circuits, which will fail otherwise. The balanced mapping solution is also useful in CMOS circuits to avoid (or minimize) unwanted hazard activity and the resulting wasteful dynamic power dissipation as well as to achieve the maximum throughput in a wave-pipelined circuit. Experimental results show that our path balancing technology mapping algorithm decreases total area, static power consumption, and path balancing overhead of single flux quantum circuits by large factors. For example, it reduces the circuit area by up to 111% and by an average of 26.3% compared to state-of-the-art technology mappers.

[1]  Alireza Shafaei,et al.  Design of Complex Rapid Single-Flux-Quantum Cells with Application to Logic Synthesis , 2017, 2017 16th International Superconductive Electronics Conference (ISEC).

[2]  Robert K. Brayton,et al.  Delay optimization using SOP balancing , 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[3]  Giovanni De Micheli,et al.  BDS-MAJ: A BDD-based logic synthesis tool exploiting majority logic decomposition , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

[4]  Kurt Keutzer DAGON: Technology Binding and Local Optimization by DAG Matching , 1987, DAC.

[5]  R. Brayton,et al.  Mapping with Boolean Matching , Supergates and Choices , 2004 .

[6]  Sungmin Cho,et al.  Combinational and sequential mapping with priority cuts , 2007, ICCAD 2007.

[7]  Massoud Pedram,et al.  Computing the area versus delay trade-off curves in technology mapping , 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[8]  Massoud Pedram,et al.  A near optimal algorithm for technology mapping minimizing area under delay constraints , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[9]  K. Likharev,et al.  Rapid single flux quantum T-flip flop operating up to 770 GHz , 1999, IEEE Transactions on Applied Superconductivity.

[10]  Giovanni De Micheli,et al.  The EPFL Combinational Benchmark Suite , 2015 .

[11]  R. Ruoff,et al.  Graphene and Graphene Oxide: Synthesis, Properties, and Applications , 2010, Advanced materials.

[12]  John P. Hayes,et al.  Unveiling the ISCAS-85 Benchmarks: A Case Study in Reverse Engineering , 1999, IEEE Des. Test Comput..

[13]  O A Mukhanov,et al.  Energy-Efficient Single Flux Quantum Technology , 2011, IEEE Transactions on Applied Superconductivity.

[14]  Sun-Young Hwang,et al.  New path balancing algorithm for glitch power reduction , 2001 .

[15]  Alireza Shafaei,et al.  SFQmap: A Technology Mapping Tool for Single Flux Quantum Logic Circuits , 2018, 2018 IEEE International Symposium on Circuits and Systems (ISCAS).

[16]  Hossein Golnabi,et al.  Carbon nanotube research developments in terms of published papers and patents, synthesis and production , 2012 .

[17]  G.E. Moore,et al.  Cramming More Components Onto Integrated Circuits , 1998, Proceedings of the IEEE.

[18]  O. A. Mukhanov,et al.  Experimental Investigation of Energy-Efficient Digital Circuits Based on eSFQ Logic , 2013, IEEE Transactions on Applied Superconductivity.

[19]  V. Semenov,et al.  RSFQ logic/memory family: a new Josephson-junction technology for sub-terahertz-clock-frequency digital systems , 1991, IEEE Transactions on Applied Superconductivity.

[20]  Mathias Soeken,et al.  Exact Synthesis of Majority-Inverter Graphs and Its Applications , 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[21]  Giovanni De Micheli,et al.  Majority-Inverter Graph: A New Paradigm for Logic Optimization , 2016, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[22]  Kang L. Wang,et al.  Non-volatile magnonic logic circuits engineering , 2010, 1012.4768.

[23]  Majid Sarrafzadeh,et al.  Complexity of the lookup-table minimization problem for FPGA technology mapping , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[24]  Fabio Somenzi,et al.  Logic synthesis and verification algorithms , 1996 .

[25]  Jason Cong,et al.  DAOmap: a depth-optimal area optimization mapping algorithm for FPGA designs , 2004, ICCAD 2004.

[26]  R. Brayton,et al.  Maximum Throughput Logic Synthesis for Stateful Logic : A Case Study , 2013 .

[27]  D. S. Holmes,et al.  Energy-Efficient Superconducting Computing—Power Budgets and Requirements , 2013, IEEE Transactions on Applied Superconductivity.

[28]  Stephen Dean Brown,et al.  Heuristics for Area Minimization in LUT-Based FPGA Technology Mapping , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[29]  Charles E. Leiserson,et al.  Retiming synchronous circuitry , 1988, Algorithmica.

[30]  Alireza Shafaei,et al.  Design of multiple fanout clock distribution network for rapid single flux quantum technology , 2017, 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).

[31]  W. Liu,et al.  Wave-pipelining: a tutorial and research survey , 1998, IEEE Trans. Very Large Scale Integr. Syst..

[32]  Jason Cong,et al.  FlowMap: an optimal technology mapping algorithm for delay optimization in lookup-table based FPGA designs , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[33]  Massoud Pedram,et al.  PBMap: A Path Balancing Technology Mapping Algorithm for Single Flux Quantum Logic Circuits , 2018, IEEE Transactions on Applied Superconductivity.