Towards a design flow for reversible logic

DOI10.1007/978-90-481-9579-4zbMATH Open1210.94123OpenAlexW4213350534WikidataQ59242654 ScholiaQ59242654MaRDI QIDQ3577129FDOQ3577129

Authors Robert Wille, Rolf Drechsler 

Publication date 4 August 2010

Full work available at URL https://doi.org/10.1007/978-90-481-9579-4

zbMATH Keywords

design flow for computersreversive logic

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12) Applications of design theory to circuits and networks (94C30)

Recommendations

• Reversible Logic Synthesis
• Reversible Computing
• Foundations of generalized reversible computing
• Theory of reversible computing
• Synthesis and optimization of reversible circuits -- a survey

Cited in

(19)

• Six Synthesis Methods for Reversible Logic
• An efficient method to synthesize reversible logic by using positive Davio decision diagrams
• The group of dyadic unitary matrices.
• Reversible computing from a programming language perspective
• An improved design of \(n\)-bit universal reversible gate library
• Optimization approaches for designing quantum reversible arithmetic logic unit
• A classical propositional logic for reasoning about reversible logic circuits
• Adiabatic implementation of reversible logic circuits in CMOS technology
• Design and fabrication of a microprocessor using adiabatic CMOS and Bennett clocking
• Initial ideas for automatic design and verification of control logic in reversible HDLs (work in progress report)
• Fundamentals of reversible flowchart languages
• Minimal reversible circuit synthesis on a DNA computer
• QMDD-based one-pass design of reversible logic: exploring the available degree of freedom (work-in-progress report)
• A Design-Based Model of Reversible Computation
• Clean reversible simulations of ranking binary trees
• On the road to the quantum computer. Outline of a reversible logic
• Optimized 4-bit quantum reversible arithmetic logic unit
• Automatic test pattern generation for multiple missing gate faults in reversible circuits. Work in progress report
• A Fully Fault-Tolerant Representation of Quantum Circuits

Describes a project that uses

Uses Software

• MiniSat
• SATIRE
• BerkMin
• RevLib

This page was built for publication: Towards a design flow for reversible logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3577129)