Abstract
In recent time, efficient implementation of reversible logic circuits has come out as an important research area before the design industry. With the advancement in reversible logic synthesis, developing mechanism for identification of faults finds importance. Though there exist well-known testing techniques, but developing improved testing algorithms is the need of the hour. Aiming to develop efficient testing technique, here in this work, we show an improved testing scheme based on Boolean logic function. Two different testing approaches are presented here, where in the first work, by using Boolean difference method SMGFs in reversible circuit are tracked successfully, where a test vector generator is derived to find the faults. In the second work, a Reed–Muller (RM) form based testing approach is developed that not only detects the faults but also locates the exact position of the faulty area. A limitation for the second testing scheme is that it can only be employed over a specific type of reversible circuit known as Exclusive-Or Sum-Of-Product (ESOP) design. Both the testing techniques have been executed over different benchmark suites and a comparative study with state-of-the-art testing approaches have been included in the work.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Landauer R (1961) Irreversibility and Heat Generation in the Computing Process. IBM J Res Dev 5:183–191
Bennett CH (1973) Logical Reversibility of Computation. IBM J Res Dev 17:525–532
Nielsen M, Chuang I (2000) Quantum Computation and Quantum Information. Cambridge University Press, Cambridge
Wille R, Keszocze O, Hillmich S, Walter M, Ortiz AG (2016) Synthesis of approximate coders for on-chip interconnects using reversible logic. In: Design, automation and test in Europe
Rauchenecker A, Ostermann T, Wille R (2017) Exploiting reversible logic design for implementing adiabatic circuits. In: International conference mixed design of integrated circuits and systems
Ramasamy K, Tagare R, Perkins E, Perkowski M (2004) Fault localization in reversible circuits is easier than for classical circuits. In: Proceedings of international workshop on logic and synthesis
Chakraborty A (2005) Synthesis of reversible circuits for testing with universal test set and C-testability of reversible iterative logic arrays. In: Proceedings of VLSI design, pp 249–254
Rahaman H, Kole DK, Das DK, Bhattacharya BB (2011) Fault diagnosis for missing-gate fault (SMGF) model in reversible quantum circuits. Int J Comput Electr Eng (Elsevier) 37:475–485
Mondal J, Das DK, Kole DK, Rahaman H, Bhattacharya BB (2013) On designing testable reversible circuits using gate duplication. In: International symposium on VLSI design and test, pp 322–329
Kole DK, Rahaman H, Das DK, Bhattacharya BB (2010) Derivation of optimal test set for detection of multiple missing-gate faults in reversible circuits. In: Proceedings of Asian test symposium, pp 33–38
Mahammad SN, Hari SKS, Shroff S, Kamakoti V (2006) Constructing online testable circuits using reversible logic. In: International symposium on VLSI design and test, pp 373–383
Toffoli T (1980) Reversible computing. Technical memo MIT/LCS/TM-151, MIT Lab for Computer Science
Fredkin E, Toffoli T (1982) Conservative logic. Int J Theor Phys 21(3–4):219–253
Feynman RP (1996) Feynman lectures on computation. Perseus books
Fazel K, Thornton MA, Rice JE (2007) ESOP-based Toffoli gate cascade generation. In: Pacific rim conference on communications, computers and signal processing (PacRim). Victoria, Canada, pp 206–209
Zhang YZ, Rayner PJW (1984) Minimization of Reed-Muller polynomials with fixed polarity. IEE Proc Comput Digit Tech 131(5):177–186
Harking B (1990) Efficient algorithm for canonical Reed-Muller expansion of Boolean function. IEE Proc Comput Digit Tech 137(5):366–377
Hayes JP, Polian I, Becker B (2004) Testing for missing-gate faults inreversible circuits. In: Proceedings of Asian test symposium, pp 100–105
Perkowski M, Biamonte J, Lukac M (2005) Test generation and fault localization for quantum circuits. In: Proceedings of international symposium on multi-valued logic, pp 62–68
Polian I, Hayes JP, Fienn T, Becker B (2005) A family of logical fault models for reversible circuits. In: Proceedings of Asian test symposium, pp 422–427
Kohavi Z (1978) Switching and finite automata theory, 2nd edn. Tata McGraw- Hill, New York
Wille R, Grosse D, Teuber L, Dueck GW, Drechsler R (2008) Revlib: an online resources for reversible functions and reversible circuits. IEEE ISMVL 24:220–225
Bandyopadhyay C, Rahaman H (2014) Synthesis of ESOP-based reversible logic using positive polarity reed-muller form. In: IEEE emerging trends in computing and communication (ETCC-2014), Calcutta, India
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Mondal, B., Bandyopadhyay, C., Bhattacharjee, A., Rahaman, H. (2020). Detection and Identification of Gate Faults in Reversible Circuit. In: Singh, A., Fujita, M., Mohan, A. (eds) Design and Testing of Reversible Logic. Lecture Notes in Electrical Engineering, vol 577. Springer, Singapore. https://doi.org/10.1007/978-981-13-8821-7_10
Download citation
DOI: https://doi.org/10.1007/978-981-13-8821-7_10
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-8820-0
Online ISBN: 978-981-13-8821-7
eBook Packages: EngineeringEngineering (R0)