TY - GEN
T1 - Automatic test pattern generation for multiple missing gate faults in reversible circuits work in progress report
AU - Surhonne, Anmol Prakash
AU - Chattopadhyay, Anupam
AU - Wille, Robert
N1 - Publisher Copyright:
© Springer International Publishing AG 2017.
PY - 2017
Y1 - 2017
N2 - Logical reversibility is the basis for emerging technologies like quantum computing, may be used for certain aspects of low-power design, and has been proven beneficial for the design of encoding/decoding devices. Testing of circuits has been a major concern to verify the integrity of the implementation of the circuit. In this paper, we propose the main ideas of an ATPG method for detecting two missing gate faults. To that effect, we propose a systematic flow using Binary Decision Diagrams (BDDs). Initial experimental results demonstrate the efficacy of the proposed algorithms in terms of scalability and coverage of all testable faults.
AB - Logical reversibility is the basis for emerging technologies like quantum computing, may be used for certain aspects of low-power design, and has been proven beneficial for the design of encoding/decoding devices. Testing of circuits has been a major concern to verify the integrity of the implementation of the circuit. In this paper, we propose the main ideas of an ATPG method for detecting two missing gate faults. To that effect, we propose a systematic flow using Binary Decision Diagrams (BDDs). Initial experimental results demonstrate the efficacy of the proposed algorithms in terms of scalability and coverage of all testable faults.
UR - http://www.scopus.com/inward/record.url?scp=85022332526&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-59936-6_14
DO - 10.1007/978-3-319-59936-6_14
M3 - Conference contribution
AN - SCOPUS:85022332526
SN - 9783319599359
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 176
EP - 182
BT - Reversible Computation - 9th International Conference, RC 2017, Proceedings
A2 - Rahaman, Hafizur
A2 - Phillips, Iain
PB - Springer Verlag
T2 - 9th International Conference on Reversible Computation, RC 2017
Y2 - 6 July 2017 through 7 July 2017
ER -