2016/12/02 by Mathias Soeken, Martin Roetteler, Soeken, Mathias +5 · 1 citation
Computer Science · Engineering · Physics and Astronomy · #Algorithm #Automation #Computer architecture #Computer engineering #Computer science #Electrical engineering #Electronic circuit #Electronic design automation #Embedded system #Emerging Technologies (cs.ET) #Engineering #FOS: Computer and information sciences #FOS: Physical sciences #Field-programmable gate array #Logic gate #Logic synthesis #Quantum #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Quantum computer #Quantum-Dot Cellular Automata #Theoretical computer science #Verilog #cs.ET #quant-ph
paper · pdf · doi:10.48550/arxiv.1612.00631
published in arXiv (Cornell University) (Cornell University) · 6 pages, 1 figure, in 2017 Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017
arxiv created 2016/12/02 · openalex publication_date 2016/12/02 · arxiv updated 2016/12/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/05
A major hurdle to the deployment of quantum linear systems algorithms and recent quantum simulation algorithms lies in the difficulty to find inexpensive reversible circuits for arithmetic using existing hand coded methods. Motivated by recent advances in reversible logic synthesis, we synthesize arithmetic circuits using classical design automation flows and tools. The combination of classical and reversible logic synthesis enables the automatic design of large components in reversible logic starting from well-known hardware description languages such as Verilog. As a prototype example for our approach we automatically generate high quality networks for the reciprocal 1/x, which is necessary for quantum linear systems algorithms.