Skip to main content

2014 | OriginalPaper | Buchkapitel

Test Generation for Short-Circuit Faults in Digital Circuits

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In the first part, the paper presents a test calculation principle which serves for producing tests of logic faults in digital circuits. The name of the principle is composite justification. The considered fault model includes stuck-at-0/1 logic faults. Both single and multiple faults are included. In this paper only combinational logic is taken into consideration. The computations are performed at the gate level. The calculation principle is comparatively simple. It is based only on successive line-value justification, and it yields an opportunity to be realized by an efficient computer program. The first part serves for presenting the basic principle which is used in the second part of the paper. The second part deals with another fault class, namely, short-circuit or bridging faults. A short circuit is an erroneous galvanic connection between two circuit lines. Here, a new algorithm is presented for generating tests, where the composite justification is extended to handle this type of faults, as well.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Abramovici, M., Breuer, M.A., Friedman, A.D.: Digital Systems Testing and Testable Design. Computer Science Press, Piscataway (1990) Abramovici, M., Breuer, M.A., Friedman, A.D.: Digital Systems Testing and Testable Design. Computer Science Press, Piscataway (1990)
2.
Zurück zum Zitat Sziray, J.: Test calculation for logic and delay faults in digital circuits. In: Proceedings of the IEEE Microprocessor Test and Verification Workshop, (MTV-06), pp. 20–29, Austin (2006) Sziray, J.: Test calculation for logic and delay faults in digital circuits. In: Proceedings of the IEEE Microprocessor Test and Verification Workshop, (MTV-06), pp. 20–29, Austin (2006)
3.
Zurück zum Zitat Sziray, J.: Test Design of Digital Systems. Széchenyi University Press, Győr (2012) Sziray, J.: Test Design of Digital Systems. Széchenyi University Press, Győr (2012)
4.
Zurück zum Zitat Roth, J.P.: Diagnosis of automata failures: a calculation and a method. IBM J. Res. Dev. 10, 278–291 (1966)CrossRefMATH Roth, J.P.: Diagnosis of automata failures: a calculation and a method. IBM J. Res. Dev. 10, 278–291 (1966)CrossRefMATH
5.
Zurück zum Zitat Breuer, M.A., Friedman, A.D.: Functional level primitives in test generation. IEEE Trans. Comput. C-29, 223–235 (1980) Breuer, M.A., Friedman, A.D.: Functional level primitives in test generation. IEEE Trans. Comput. C-29, 223–235 (1980)
6.
Zurück zum Zitat Lewis, H.R., Papadimitriou, C.H.: Elements of the Theory of Computation. Prentice-Hall, Upper Saddle River (1998) Lewis, H.R., Papadimitriou, C.H.: Elements of the Theory of Computation. Prentice-Hall, Upper Saddle River (1998)
7.
Zurück zum Zitat Drechsler, R., Eggersglüss, S., Fey, G., Tille, D.: Test Pattern Generation Using Boolean Proof Engines. Springer, Heidelberg (2009) Drechsler, R., Eggersglüss, S., Fey, G., Tille, D.: Test Pattern Generation Using Boolean Proof Engines. Springer, Heidelberg (2009)
8.
Zurück zum Zitat Sziray, J., Nagy, Zs.: OPART: a hardware-description language for test generation. In: Nunez, P. (ed.) Microprocessing and Microprogramming, pp. 525–530. North-Holland, Amsterdam (1991) Sziray, J., Nagy, Zs.: OPART: a hardware-description language for test generation. In: Nunez, P. (ed.) Microprocessing and Microprogramming, pp. 525–530. North-Holland, Amsterdam (1991)
9.
Zurück zum Zitat Sallay, B., Petri, A., Tilly, K., Pataricza, A., Benyó, B., Sziray, J.: High level test pattern generation for VHDL circuits. In: Proceedings of the IEEE European Test Workshop’96, pp. 201–205, Montpellier, June 1996 Sallay, B., Petri, A., Tilly, K., Pataricza, A., Benyó, B., Sziray, J.: High level test pattern generation for VHDL circuits. In: Proceedings of the IEEE European Test Workshop’96, pp. 201–205, Montpellier, June 1996
10.
Zurück zum Zitat Benyó, B., Sziray, J.: The use of VHDL models for design verification. In: Proceedings of the IEEE European Test Workshop, pp. 289–290, Cascais, 23–26 May 2000 Benyó, B., Sziray, J.: The use of VHDL models for design verification. In: Proceedings of the IEEE European Test Workshop, pp. 289–290, Cascais, 23–26 May 2000
Metadaten
Titel
Test Generation for Short-Circuit Faults in Digital Circuits
verfasst von
József Sziray
Copyright-Jahr
2014
DOI
https://doi.org/10.1007/978-3-319-03206-1_21