Hierarchical Modeling for VLSI Circuit Testing
Seiten
2011
|
Softcover reprint of the original 1st ed. 1990
Springer-Verlag New York Inc.
978-1-4612-8819-0 (ISBN)
Springer-Verlag New York Inc.
978-1-4612-8819-0 (ISBN)
Test generation is one of the most difficult tasks facing the designer of complex VLSI-based digital systems. Much of this difficulty is attributable to the almost universal use in testing of low, gate-level circuit and fault models that predate integrated circuit technology. It is long been recognized that the testing prob lem can be alleviated by the use of higher-level methods in which multigate modules or cells are the primitive components in test generation; however, the development of such methods has proceeded very slowly. To be acceptable, high-level approaches should be applicable to most types of digital circuits, and should provide fault coverage comparable to that of traditional, low-level methods. The fault coverage problem has, perhaps, been the most intractable, due to continued reliance in the testing industry on the single stuck-line (SSL) fault model, which is tightly bound to the gate level of abstraction. This monograph presents a novel approach to solving the foregoing problem. It is based on the systematic use of multibit vectors rather than single bits to represent logic signals, including fault signals. A circuit is viewed as a collection of high-level components such as adders, multiplexers, and registers, interconnected by n-bit buses. To match this high-level circuit model, we introduce a high-level bus fault that, in effect, replaces a large number of SSL faults and allows them to be tested in parallel. However, by reducing the bus size from n to one, we can obtain the traditional gate-level circuit and models.
1 Introduction.- 1.1 Background.- 1.2 Prior Work.- 1.3 Outline.- 2 Circuit and Fault Modeling.- 2.1 Vector Sequence Notation.- 2.2 Circuit and Fault Models.- 2.3 Case Study: k-Regular Circuits.- 3 Hierarchical Test Generation.- 3.1 Vector Cubes.- 3.2 Test Generation.- 3.3 Implementation and Experimental Results.- 4 Design for Testability.- 4.1 Ad Hoc Techniques.- 4.2 Level Separation (LS) Method.- 4.3 Case Study: ALU.- 5 Concluding Remarks.- 5.1 Summary.- 5.2 Future Directions.- Appendix A: Proofs of Theorems.- A.1 Proof of Theorem 3.2.- A.2 Proof of Theorem 3.3.- A.3 Proof of Theorem 4.1.
Reihe/Serie | The Springer International Series in Engineering and Computer Science ; 89 |
---|---|
Zusatzinfo | XII, 160 p. |
Verlagsort | New York, NY |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Sachbuch/Ratgeber ► Natur / Technik ► Garten |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Informatik ► Weitere Themen ► CAD-Programme | |
Technik ► Elektrotechnik / Energietechnik | |
ISBN-10 | 1-4612-8819-3 / 1461288193 |
ISBN-13 | 978-1-4612-8819-0 / 9781461288190 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2023)
Beuth (Verlag)
99,00 €
Einführung in die Geometrische Produktspezifikation
Buch | Softcover (2023)
Europa-Lehrmittel (Verlag)
20,70 €