Testing of Reversible Circuits
|Other Titles:||Test reversibler Schaltungen||Authors:||Zhang, Hongyan||Supervisor:||Drechsler, Rolf||1. Expert:||Drechsler, Rolf||2. Expert:||Kreowski, Hans-Jörg||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.
|Keywords:||reversible circuits, test, ATPG, fault diagnosis, SAT||Issue Date:||3-May-2013||URN:||urn:nbn:de:gbv:46-00103179-13||Institution:||Universität Bremen||Faculty:||FB3 Mathematik/Informatik|
|Appears in Collections:||Dissertationen|
checked on Sep 27, 2020
Items in Media are protected by copyright, with all rights reserved, unless otherwise indicated.