English
Related papers

Related papers: Synthesis and Optimization of Reversible Circuits …

200 papers

The reversible circuit synthesis problem can be reduced to permutation group. This allows Schreier-Sims Algorithm for the strong generating set-finding problem to be used to find tight bounds on the synthesis of 3-bit reversible circuits…

Quantum Physics · Physics 2013-04-26 Ahmed Younes

While deep learning has achieved significant success in various domains, its application to logic circuit design has been limited due to complex constraints and strict feasibility requirement. However, a recent generative deep neural model,…

Logic in Computer Science · Computer Science 2024-06-10 Xihan Li , Xing Li , Lei Chen , Xing Zhang , Mingxuan Yuan , Jun Wang

Reversible logic is experience renewed interest as we are approach the limits of CMOS technologies. While physical implementations of reversible gates have yet to materialize, it is safe to assume that they will rely on faulty individual…

Hardware Architecture · Computer Science 2008-12-22 Nuno Alves

Optimizing the size and depth of CNOT circuits is an active area of research in quantum computing and is particularly relevant for circuits synthesized from the Clifford + T universal gate set. Although many techniques exist for finding…

Quantum Physics · Physics 2025-07-15 Alan Bu , Evan Fan , Robert Sanghyeon Joo

Current proposals for quantum compilers require the synthesis and optimization of linear reversible circuits and among them CNOT circuits. Since these circuits represent a significant part of the cost of running an entire quantum circuit,…

Multiplier circuits play an important role in reversible computation, which is helpful in diverse areas such as low power CMOS design, optical computing, DNA computing and bioinformatics. Here we propose a new reversible multiplier circuit…

Quantum Physics · Physics 2009-07-21 Anindita Banerjee , Anirban Pathak

As quantum computing technology advances, the complexity of quantum algorithms increases, necessitating a shift from low-level circuit descriptions to high-level programming paradigms. This paper addresses the challenges of developing a…

Quantum Physics · Physics 2025-03-04 Israel Reichental , Ravid Alon , Lior Preminger , Matan Vax , Amir Naveh

This paper presents a heuristic cost minimization approach to synthesizing linear reversible circuits. Two bidirectional linear reversible circuit synthesis methods are introduced, the Alternating Elimination with Cost Minimization method…

Emerging Technologies · Computer Science 2014-07-02 Ben Schaeffer , Marek Perkowski

Automated Synthesis Planning has recently re-emerged as a research area at the intersection of chemistry and machine learning. Despite the appearance of steady progress, we argue that imperfect benchmarks and inconsistent comparisons mask…

Machine Learning · Computer Science 2024-09-09 Krzysztof Maziarz , Austin Tripp , Guoqing Liu , Megan Stanley , Shufang Xie , Piotr Gaiński , Philipp Seidl , Marwin Segler

Irreversible logic circuits dissipate heat for every bit of information that is lost. Information is lost when the input vector cannot be recovered from its corresponding output vector. Reversible logic circuit naturally takes care of…

Hardware Architecture · Computer Science 2010-08-20 Md. Saiful Islam , Muhammad Mahbubur Rahman , Zerina Begum , Mohd. Zulfiquar Hafiz

Near-term quantum computers are expected to work in an environment where each operation is noisy, with no error correction. Therefore, quantum-circuit optimizers are applied to minimize the number of noisy operations. Today, physicists are…

Programming Languages · Computer Science 2023-05-12 Amanda Xu , Abtin Molavi , Lauren Pick , Swamit Tannu , Aws Albarghouthi

Landauer's principle places a fundamental lower limit on the work required to perform a logically irreversible operation. Logically reversible gates provide a way to avoid these work costs, and also simplify the task of making the…

Computational Physics · Physics 2023-11-16 Ian Seet , Thomas E. Ouldridge , Jonathan P. K. Doye

The synthesis of reversible functions has been an intensively studied research area in the last decade. Since almost all proposed approaches rely on representations of exponential size (such as truth tables and permutations), they cannot be…

Emerging Technologies · Computer Science 2014-08-19 Mathias Soeken , Laura Tague , Gerhard W. Dueck , Rolf Drechsler

Rapid Single Flux Quantum (RSFQ) logic is a promising technology to supersede Complementary metal-oxide-semiconductor (CMOS) logic in some specialized areas due to providing ultra-fast and energy-efficient circuits. To realize a large-scale…

Hardware Architecture · Computer Science 2022-08-23 Shucheng Yang , Xiaoping Gao , Jie Ren

Logic synthesis, a pivotal stage in chip design, entails optimizing chip specifications encoded in hardware description languages like Verilog into highly efficient implementations using Boolean logic gates. The process involves a…

Machine Learning · Computer Science 2024-01-23 Animesh Basak Chowdhury , Marco Romanelli , Benjamin Tan , Ramesh Karri , Siddharth Garg

Now a day reversible logic is an attractive research area due to its low power consumption in the area of VLSI circuit design. The reversible logic gate is utilized to optimize power consumption by a feature of retrieving input logic from…

Hardware Architecture · Computer Science 2015-09-15 Neeraj Kumar Misra , Mukesh Kumar Kushwaha , Subodh Wairya , Amit Kumar

Reversible logic has become one of the promising research directions in low power dissipating circuit design in the past few years and has found its applications in low power CMOS design, cryptography, optical information processing and…

Hardware Architecture · Computer Science 2010-08-23 Md. Saiful Islam

This PhD dissertation investigates garbage-free reversible computing systems from abstract design to physical gate-level implementation. Designed in reversible logic, we propose a ripple-block carry adder and work towards a reversible…

Programming Languages · Computer Science 2023-09-22 Michael Kirkedal Thomsen

We apply numerical optimization and linear algebra algorithms for classical computers to the problem of automatically synthesizing algorithms for quantum computers. Using our framework, we apply several common techniques from these…

Numerical Analysis · Mathematics 2025-09-16 Yuxin Huang , Benjamin E. Grossman-Ponemon , David A. B. Hyde

Existing quantum compilers optimize quantum circuits by applying circuit transformations designed by experts. This approach requires significant manual effort to design and implement circuit transformations for different quantum devices,…

Programming Languages · Computer Science 2022-05-03 Mingkuan Xu , Zikun Li , Oded Padon , Sina Lin , Jessica Pointing , Auguste Hirth , Henry Ma , Jens Palsberg , Alex Aiken , Umut A. Acar , Zhihao Jia
‹ Prev 1 3 4 5 6 7 10 Next ›