Skip to main content

Detection and Identification of Gate Faults in Reversible Circuit

  • Chapter
  • First Online:
Design and Testing of Reversible Logic

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 577))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Landauer R (1961) Irreversibility and Heat Generation in the Computing Process. IBM J Res Dev 5:183–191

    Article  MathSciNet  Google Scholar 

  2. Bennett CH (1973) Logical Reversibility of Computation. IBM J Res Dev 17:525–532

    Article  MathSciNet  Google Scholar 

  3. Nielsen M, Chuang I (2000) Quantum Computation and Quantum Information. Cambridge University Press, Cambridge

    Google Scholar 

  4. 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

    Google Scholar 

  5. 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

    Google Scholar 

  6. 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

    Google Scholar 

  7. 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

    Google Scholar 

  8. 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

    Article  Google Scholar 

  9. 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

    Google Scholar 

  10. 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

    Google Scholar 

  11. 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

    Google Scholar 

  12. Toffoli T (1980) Reversible computing. Technical memo MIT/LCS/TM-151, MIT Lab for Computer Science

    Google Scholar 

  13. Fredkin E, Toffoli T (1982) Conservative logic. Int J Theor Phys 21(3–4):219–253

    Article  MathSciNet  Google Scholar 

  14. Feynman RP (1996) Feynman lectures on computation. Perseus books

    Google Scholar 

  15. 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

    Google Scholar 

  16. Zhang YZ, Rayner PJW (1984) Minimization of Reed-Muller polynomials with fixed polarity. IEE Proc Comput Digit Tech 131(5):177–186

    Article  Google Scholar 

  17. Harking B (1990) Efficient algorithm for canonical Reed-Muller expansion of Boolean function. IEE Proc Comput Digit Tech 137(5):366–377

    Article  Google Scholar 

  18. Hayes JP, Polian I, Becker B (2004) Testing for missing-gate faults inreversible circuits. In: Proceedings of Asian test symposium, pp 100–105

    Google Scholar 

  19. 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

    Google Scholar 

  20. 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

    Google Scholar 

  21. Kohavi Z (1978) Switching and finite automata theory, 2nd edn. Tata McGraw- Hill, New York

    MATH  Google Scholar 

  22. 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

    Google Scholar 

  23. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to B. Mondal .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Singapore Pte Ltd.

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics