Access the full text.
Sign up today, get DeepDyve free for 14 days.
Bo-Yin Yang (2011)
Post-Quantum Cryptography - 4th International Workshop, PQCrypto 2011, Taipei, Taiwan, November 29 - December 2, 2011. Proceedings, 7071
Panjin Kim, Daewan Han, Kyung Jeong (2018)
Time–space complexity of quantum search algorithms in symmetric cryptanalysis: applying to AES and SHA-2Quantum Information Processing, 17
F. Luccio, L. Pagli (1999)
On a New Boolean Function with ApplicationsIEEE Trans. Computers, 48
M. Amy, O. Matteo, Vlad Gheorghiu, M. Mosca, A. Parent, John Schanck (2016)
Estimating the Cost of Generic Quantum Pre-image Attacks on SHA-2 and SHA-3
[ (2003)
Synthesis of reversible logic circuitsIEEE Trans. on CAD of Integrated Circuits and Systems, 22
Brandon Langenberg, H. Pham, R. Steinwandt (2020)
Reducing the Cost of Implementing the Advanced Encryption Standard as a Quantum CircuitIEEE Transactions on Quantum Engineering
Magnus Find (2014)
On the Complexity of Computing Two Nonlinearity MeasuresArXiv, abs/1403.0417
Mathias Soeken, M. Roetteler (2020)
Quantum Circuits for Functionally Controlled NOT Gates2020 IEEE International Conference on Quantum Computing and Engineering (QCE)
I. Markov, Mehdi Saeedi (2013)
Faster Quantum Number Factoring via Circuit SynthesisArXiv, abs/1301.3210
[ (1999)
Preudo-Kronecker expressions for symmetric functionsIEEE Trans. on Computers, 48
Eleonora Testa, Mathias Soeken, L. Amarù, G. Micheli (2019)
Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications2019 56th ACM/IEEE Design Automation Conference (DAC)
A. Verma, P. Brisk, P. Ienne (2008)
XP 2 : A New Compact Representation for Manipulating Arithmetic Circuits
M. Choudhury, K. Mohanram (2010)
Bi-decomposition of large Boolean functions using blocking edge graphs2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
Vera Burg, G. Low, Thomas Häner, Damian Steiger, M. Reiher, M. Roetteler, M. Troyer (2020)
Quantum computing enhanced computational catalysisPhysical Review Research
Philipp Niemann, Anshu Gupta, R. Drechsler (2019)
T-depth Optimization for Fault-Tolerant Quantum Circuits2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL)
A. Mishchenko, R. Brayton, Stephen Jang, Victor Kravets (2011)
Delay optimization using SOP balancing2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
[ (2020)
Faster homomorphic encryption is not enough: Improved heuristic for multiplicative depth minimization of Boolean circuitsThe Cryptographers’ Track at the RSA Conference
Cody Jones (2012)
Low-overhead constructions for the fault-tolerant Toffoli gatePhysical Review A, 87
L. Amarù, P. Gaillardon, G. Micheli (2015)
The EPFL Combinational Benchmark Suite
P. McGeer, R. Brayton, A. Sangiovanni-Vincentelli, S. Sahni (1991)
Performance enhancement through the generalized bypass transform1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers
L. Levin (2000)
The Tale of One-Way FunctionsProblems of Information Transmission, 39
[ (2016)
Applying Grover’s algorithm to AES: Quantum resource estimatesInt’l Workshop on Post-Quantum Cryptography
V. Shende, Aditya Prasad, I. Markov, J. Hayes (2003)
Synthesis of reversible logic circuitsIEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 22
Tsutomu Sasao, P. Besslich (1990)
On the complexity of mod-2l sum PLA'sIEEE Transactions on Computers, 39
R. Drechsler (1997)
Pseudo Kronecker expressions for symmetric functionsProceedings Tenth International Conference on VLSI Design
M. Helliwell, M. Perkowski (1988)
A fast algorithm to minimize multi-output mixed-polarity generalized Reed-Muller forms
A. Saldanha, H. Harkness, P. McGeer, R. Brayton, A. Sangiovanni-Vincentelli (1994)
Performance Optimization Using Exact Sensitization31st Design Automation Conference
Thomas Haener, Mathias Soeken, M. Roetteler, K. Svore (2018)
Quantum circuits for floating-point arithmetic
Eleonora Testa, Mathias Soeken, Luca Amar, G. Micheli (2019)
Logic Synthesis for Established and Emerging ComputingProceedings of the IEEE, 107
S. Stergiou, C. Daskalakis, G. Papakonstantinou (2004)
A fast and efficient heuristic ESOP minimization algorithm
R. Brayton, G. Hachtel, A. Sangiovanni-Vincentelli (1990)
Multilevel logic synthesisProc. IEEE, 78
M. Riazi, Mojan Javaheripi, S. Hussain, F. Koushanfar (2019)
MPCircuits: Optimized Circuit Generation for Secure Multi-Party Computation2019 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
M. Amy, D. Maslov, M. Mosca, M. Rötteler (2012)
A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum CircuitsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 32
[ (2010)
Bi-decomposition of large Boolean functions using blocking edge graphsInt’l Conf. on Computer-Aided Design
Eleonora Testa, Mathias Soeken, Heinz Riener, L. Amarù, G. Micheli (2020)
A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Mathias Soeken, M. Roetteler, N. Wiebe, G. Micheli (2019)
LUT-Based Hierarchical Reversible Logic SynthesisIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 38
J. O’Gorman, E. Campbell (2016)
Quantum computation with realistic magic-state factoriesPhysical Review A, 95
Sergiu Carpov, Pascal Aubry, Renaud Sirdey (2017)
A multi-start heuristic for multiplicative depth minimization of boolean circuits
P. Selinger (2012)
Quantum circuits of T-depth oneArXiv, abs/1210.0974
A. Barenco, C. Bennett, R. Cleve, D. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. Smolin, H. Weinfurter (1995)
Elementary gates for quantum computation.Physical review. A, Atomic, molecular, and optical physics, 52 5
Bristol Fashion' MPC circuits
[ (2006)
DAG-aware AIG rewriting a fresh look at combinational logic synthesisDesign Automation Conference
[ (2019)
T-depth optimization for fault-tolerant quantum circuitsInt’l Symp. on Multiple-Valued Logic
Benjamin Brown, K. Laubscher, Markus Kesselring, James Wootton (2016)
Poking holes and cutting corners to achieve Clifford gates with the surface codearXiv: Quantum Physics
A. Mishchenko, M. Perkowski (2001)
Fast Heuristic Minimization of Exclusive-Sums-of-Products
R. Ishikawa, T. Hirayama, G. Koda, K. Shimizu (2004)
New Three-Level Boolean Expression Based on EXOR GatesIEICE Trans. Inf. Syst., 87-D
J. Preskill (2018)
Quantum Computing in the NISQ era and beyondQuantum
G. Papakonstantinou (2014)
A Parallel Algorithm for Minimizing ESOP ExpressionsJ. Circuits Syst. Comput., 23
R. Brayton, A. Mishchenko (2010)
ABC: An Academic Industrial-Strength Verification Tool
[ (2012)
Lazy man’s logic synthesisInt’l Conf. on Computer-Aided Design
Samuel Jaques, M. Naehrig, M. Roetteler, Fernando Virdia (2019)
Implementing Grover Oracles for Quantum Key Search on AES and LowMCAdvances in Cryptology – EUROCRYPT 2020, 12106
Giulia Meuli, Mathias Soeken, E. Campbell, M. Rötteler, G. Micheli (2019)
The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
J. Boyar, Philip Matthews, R. Peralta (2013)
Logic Minimization Techniques with Applications to CryptologyJournal of Cryptology, 26
Tsutomu Sasao (1993)
And-Exor Expressions and their Optimization
Mathias Soeken, Heinz Riener, Winston Haaswijk, G. Micheli (2018)
The EPFL Logic Synthesis LibrariesArXiv, abs/1805.05121
[ (1988)
The multiplicative complexity of Boolean functionsInt’l Conf. on Applied Algebra
D. Litinski, F. Oppen (2017)
Lattice Surgery with a Twist: Simplifying Clifford Gates of Surface CodesarXiv: Quantum Physics
S. Selezneva (2016)
On the Multiplicative Complexity of Boolean FunctionsFundam. Informaticae, 145
D. Brand, Tsutomu Sasao (1993)
Minimization of AND-EXOR Expressions Using Rewrite RulesIEEE Trans. Computers, 42
M. Reiher, N. Wiebe, K. Svore, D. Wecker, M. Troyer (2016)
Elucidating reaction mechanisms on quantum computersProceedings of the National Academy of Sciences, 114
[ (2007)
DDBDD: Delay-driven BDD synthesis for FPGAsDesign Automation Conference
Wenlong Yang, Lingli Wang, A. Mishchenko (2012)
Lazy man's logic synthesis2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
[ (2019)
MPCircuits: Optimized circuit generation for secure multi-party computationInt’l Symp. on Hardware-Oriented Security and Trust
[ (2018)
Lattice surgery with a twist: Simplifying Clifford gates of surface codesQuantum 2 (2018), 2
[ (2011)
Delay optimization using SOP balancingInt’l Conf. on Computer-Aided Design
M. Amy, D. Maslov, M. Mosca (2013)
Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid PartitioningIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 33
[ (2020)
Quantum circuits for functionally controlled NOT gatesarXiv preprint arXiv:2005.12310 (2020).
S. Cimato, V. Ciriani, E. Damiani, M. Ehsanpour (2019)
An OBDD-Based Technique for the Efficient Synthesis of Garbled Circuits
L. Cheng, Deming Chen, Martin Wong (2007)
DDBDD: Delay-Driven BDD Synthesis for FPGAs2007 44th ACM/IEEE Design Automation Conference
Giulia Meuli, Mathias Soeken, M. Roetteler, G. Micheli (2020)
Enumerating Optimal Quantum Circuits using Spectral Classification2020 IEEE International Symposium on Circuits and Systems (ISCAS)
Pascal Aubry, Sergiu Carpov, Renaud Sirdey (2020)
Faster homomorphic encryption is not enough: improved heuristic for multiplicative depth minimization of Boolean circuitsIACR Cryptol. ePrint Arch., 2019
C. Gidney (2017)
Halving the cost of quantum additionQuantum
A. Mishchenko, S. Chatterjee, R. Brayton (2006)
DAG-aware AIG rewriting: a fresh look at combinational logic synthesis2006 43rd ACM/IEEE Design Automation Conference
J. Cong, Chang Wu, Y. Ding (1999)
Cut ranking and pruning: enabling a general and efficient FPGA mapping solution
I. Markov, Mehdi Saeedi (2012)
Constant-optimized quantum circuits for modular multiplication and exponentiationArXiv, abs/1202.6614
Heinz Riener, Rüdiger Ehlers, B. Schmitt, G. Micheli (2018)
Exact Synthesis of ESOP FormsArXiv, abs/1807.11103
C. Berman, D. Hathaway, A. LaPaugh, L. Trevillyan (1990)
Efficient techniques for timing correctionIEEE International Symposium on Circuits and Systems
S. Selezneva (2014)
On the length of Boolean functions in the class of exclusive-OR sums of pseudoproductsMoscow University Computational Mathematics and Cybernetics, 38
A. Mishchenko, R. Brayton (2006)
Scalable Logic Synthesis using a Simple Circuit Structure
A. Mishchenko, R. Brayton, Stephen Jang (2010)
Global delay optimization using structural choices
S. Muroga (1993)
Logic Synthesizers, The Transduction Method and Its Extension, Sylon
The multiplicative depth of a logic network over the gate basis {∧ , ⊕ , ¬} is the largest number of ∧ gates on any path from a primary input to a primary output in the network. We describe a dynamic programming based logic synthesis algorithm to reduce the multiplicative depth of logic networks. It makes use of cut enumeration, tree balancing, and exclusive sum-of-products (ESOP) representations. Our algorithm has applications to cryptography and quantum computing, as a reduction in the multiplicative depth directly translates to a lower T-depth of the corresponding quantum circuit. Our experimental results show improvements in T-depth over state-of-the-art methods and over several hand-optimized quantum circuits, for instance, of AES, SHA, and floating-point arithmetic.
ACM Transactions on Quantum Computing – Association for Computing Machinery
Published: Mar 4, 2022
Keywords: Multiplicative depth
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.