One-Pass Design Flow

This chapter introduces a new design flow for Boolean components used in quantum computations termed one-pass design, which combines the embedding and the synthesis step while keeping the number of additionally required qubits at the minimum. This new design flow allows improving scalability and reducing costs of the resulting circuit since a much larger degree of freedom can be exploited for an optimized synthesis. Moreover, this new design flow is not tightly bound to a single synthesis approach, but can be applied to other functional synthesis approaches as well.

[1]  Robert Wille,et al.  RevLib: An Online Resource for Reversible Functions and Reversible Circuits , 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).

[2]  D. Huffman.  A Method for the Construction of Minimum-Redundancy Codes , 1952 .

[3]  Robert Wille,et al.  Skipping Embedding in the Design of Reversible Circuits , 2017, 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL).

[4]  Robert Wille,et al.  Pushing the number of qubits below the “minimum”: Realizing compact boolean components for quantum logic , 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[5]  Robert Wille,et al.  One-Pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  Robert Wille,et al.  Exploiting coding techniques for logic synthesis of reversible circuits , 2018, 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC).

[7]  Majid Mohammadi,et al.  Heuristic methods to use don’t cares in automated design of reversible and quantum logic circuits , 2008, Quantum Inf. Process..

[8]  Robert Wille,et al.  One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits , 2019, 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL).

[9]  Gerhard W. Dueck,et al.  A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis , 2016, RC.

[10]  Stefan Frehse,et al.  RevKit: A Toolkit for Reversible Circuit Design , 2012, J. Multiple Valued Log. Soft Comput..

[11]  Robert Wille,et al.  Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.