Reversible Computation: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Front Matter....Pages I-XII
Front Matter....Pages 1-1
Tools for Quantum and Reversible Circuit Compilation....Pages 3-16
Front Matter....Pages 17-17
Foundations of Generalized Reversible Computing....Pages 19-34
Reversible Nondeterministic Finite Automata....Pages 35-51
Capacitive-Based Adiabatic Logic....Pages 52-65
Implementing Reversible Object-Oriented Language Features on Reversible Machines....Pages 66-73
Front Matter....Pages 75-75
Designing Parity Preserving Reversible Circuits....Pages 77-89
REVS: A Tool for Space-Optimized Reversible Circuit Synthesis....Pages 90-101
Towards VHDL-Based Design of Reversible Circuits....Pages 102-108
Front Matter....Pages 109-109
Optimizing the Reversible Circuits Using Complementary Control Line Transformation....Pages 111-126
An ESOP Based Cube Decomposition Technique for Reversible Circuits....Pages 127-140
Controlled and Uncontrolled SWAP Gates in Reversible Logic Synthesis....Pages 141-147
Front Matter....Pages 149-149
A Method to Reduce Resources for Quantum Error Correction....Pages 151-161
Test Pattern Generation Effort Evaluation of Reversible Circuits....Pages 162-175
Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits....Pages 176-182
Front Matter....Pages 183-183
Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A \(^{*}\)  ....Pages 185-201
Improved Decomposition of Multiple-Control Ternary Toffoli Gates Using Muthukrishnan-Stroud Quantum Gates....Pages 202-213
Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions....Pages 214-231
Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs....Pages 232-247
Design of Efficient Quantum Circuits Using Nearest Neighbor Constraint in 2D Architecture....Pages 248-253
Back Matter....Pages 255-255