Testing of Reversible Circuits
Date Issued
2013-05-03
Author(s)
Supervisors
Abstract
Reversible circuits rely on an entirely different computing paradigm allowing to perform computations not only from the primary inputs to the primary outputs but also vice versa. Recently, first physical realizations based on this paradigm have been introduced in the domain of quantum computation and low-power circuits. This puts key test challenges for the future on the table. This thesis contributes to efficient testing methods (Automatic Test Pattern Generation and fault diagnosis) for reversible circuits. Formal methods like Boolean satisfiability are exploited.
Subjects
reversible circuits
;
test
;
ATPG
;
fault diagnosis
;
SAT
Institution
Type
Dissertation
Secondary publication
No
Language
English
File(s)![Thumbnail Image]()
Loading...
Name
00103179-1.pdf
Size
652.5 KB
Format
Adobe PDF
Checksum
(MD5):61d08c9abd86ff3b899b5895b7b1a51e