Verified Compilation of Space-Efficient Reversible Circuits

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63390-9_1 ◽

2017 ◽

pp. 3-21 ◽

Author(s):

Matthew Amy ◽

Martin Roetteler ◽

Krysta M. Svore

Keyword(s):

Reversible Circuits

Download Full-text

Fault Masking and Diagnosis in Reversible Circuits

2011 Sixteenth IEEE European Test Symposium ◽

10.1109/ets.2011.19 ◽

2011 ◽

Author(s):

Masoud Zamani ◽

Navid Farazmand ◽

Mehdi B. Tahoori

Keyword(s):

Reversible Circuits ◽

Download Full-text

DFT with Universal Test Set for All Missing Gate Faults in Reversible Circuits

Journal of Circuits System and Computers ◽

10.1142/s0218126622501286 ◽

2021 ◽

Author(s):

Joyati Mondal ◽

Dipak Kumar Kole ◽

Hafizur Rahaman ◽

Debesh Kumar Das ◽

Bhargab B. Bhattacharya

Keyword(s):

Test Set ◽

Universal Test ◽

Reversible Circuits

Download Full-text

Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-59936-6_18 ◽

2017 ◽

pp. 232-247 ◽

Author(s):

Alwin Zulehner ◽

Robert Wille

Keyword(s):

Reversible Circuits

Download Full-text

Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-59936-6_14 ◽

2017 ◽

pp. 176-182 ◽

Author(s):

Anmol Prakash Surhonne ◽

Anupam Chattopadhyay ◽

Robert Wille

Keyword(s):

Test Pattern ◽

Pattern Generation ◽

Test Pattern Generation ◽

Automatic Test Pattern Generation ◽

Automatic Test ◽

Reversible Circuits

Download Full-text

Test Pattern Generation Effort Evaluation of Reversible Circuits

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-59936-6_13 ◽

2017 ◽

pp. 162-175 ◽

Author(s):

Abhoy Kole ◽

Robert Wille ◽

Kamalika Datta ◽

Indranil Sengupta

Keyword(s):

Test Pattern ◽

Pattern Generation ◽

Test Pattern Generation ◽

Reversible Circuits

Download Full-text

Recent Developments on Mapping Reversible Circuits to Quantum Gate Libraries

2012 International Symposium on Electronic System Design (ISED) ◽

10.1109/ised.2012.81 ◽

2012 ◽

Author(s):

D. Michael Miller ◽

Zahra Sasanian

Keyword(s):

Quantum Gate ◽

Reversible Circuits ◽

Recent Developments

Download Full-text

Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-20860-2_18 ◽

2015 ◽

pp. 273-278 ◽

Author(s):

Abhoy Kole ◽

Kamalika Datta ◽

Indranil Sengupta ◽

Robert Wille

Keyword(s):

Nearest Neighbor ◽

Reversible Circuits

Download Full-text

Ping-pong test: Compact test vector generation for reversible circuits

2012 IEEE 30th VLSI Test Symposium (VTS) ◽

10.1109/vts.2012.6231097 ◽

2012 ◽

Author(s):

Masoud Zamani ◽

Mehdi B. Tahoori ◽

Krishnendu Chakrabarty

Keyword(s):

Test Vector ◽

Reversible Circuits ◽

Vector Generation ◽

Ping Pong ◽

Test Vector Generation ◽

Download Full-text

Design for Stuck-at Fault Testability in Toffoli–Fredkin Reversible Circuits

National Academy Science Letters ◽

10.1007/s40009-020-00967-3 ◽

2020 ◽

Author(s):

Hari Mohan Gaur ◽

Ashutosh Kumar Singh ◽

Umesh Ghanekar

Keyword(s):

Reversible Circuits

Download Full-text

Reduction of the reversible circuits gate complexity without using the equivalent replacement tables for the gate compositions

Science and Education of the Bauman MSTU ◽

10.7463/0314.0699195 ◽

2014 ◽

Vol 14 (03) ◽

Author(s):

Dmitri Zakablukov

Keyword(s):

Reversible Circuits

Download Full-text