Beyond Local Optimality of Buffer and Splitter Insertion for AQFP Circuits
TimeTuesday, July 12th5:10pm - 5:30pm PDT
Location3007, Level 3
Event Type
Research Manuscript
RTL/Logic Level and High-level Synthesis
DescriptionAdiabatic quantum-flux parametron (AQFP) is an energy-efficient superconducting technology. Buffer and splitter (B/S) cells must be inserted to an AQFP circuit to meet the technology-imposed constraints on path balancing and fanout branching. These cells account for a significant amount of the circuit's area and delay. In this paper, we propose (a) a linear-time algorithm for optimal B/S insertion for a single net; (b) an efficient heuristic for global B/S optimization; and (c) an SMT formulation to find the global optimum. Experimental results show a reduction of X% on the B/S cost and Yx speed-up compared to the state-of-the-art algorithm.