Hierarchical Modeling and test generation for digital circuits

Hierarchical Modeling and test generation for digital circuits PDF Author:
Publisher:
ISBN:
Category :
Languages : en
Pages :

Get Book Here

Book Description

Hierarchical Modeling and test generation for digital circuits

Hierarchical Modeling and test generation for digital circuits PDF Author:
Publisher:
ISBN:
Category :
Languages : en
Pages :

Get Book Here

Book Description


Hierarchical Modeling for VLSI Circuit Testing

Hierarchical Modeling for VLSI Circuit Testing PDF Author: Debashis Bhattacharya
Publisher: Springer Science & Business Media
ISBN: 1461315271
Category : Computers
Languages : en
Pages : 168

Get Book Here

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

A hierarchical model of logic circuits for test generation

A hierarchical model of logic circuits for test generation PDF Author: Université de Montréal. Département d'Informatique et de Recherche Opérationnelle
Publisher:
ISBN:
Category :
Languages : en
Pages :

Get Book Here

Book Description


Testing of Digital Systems

Testing of Digital Systems PDF Author: N. K. Jha
Publisher: Cambridge University Press
ISBN: 9781139437431
Category : Computers
Languages : en
Pages : 1022

Get Book Here

Book Description
Device testing represents the single largest manufacturing expense in the semiconductor industry, costing over $40 billion a year. The most comprehensive and wide ranging book of its kind, Testing of Digital Systems covers everything you need to know about this vitally important subject. Starting right from the basics, the authors take the reader through automatic test pattern generation, design for testability and built-in self-test of digital circuits before moving on to more advanced topics such as IDDQ testing, functional testing, delay fault testing, memory testing, and fault diagnosis. The book includes detailed treatment of the latest techniques including test generation for various fault models, discussion of testing techniques at different levels of integrated circuit hierarchy and a chapter on system-on-a-chip test synthesis. Written for students and engineers, it is both an excellent senior/graduate level textbook and a valuable reference.

Hierarchical Test Generation for Digital Circuits Represented by Decision Diagrams

Hierarchical Test Generation for Digital Circuits Represented by Decision Diagrams PDF Author: Jaan Raik
Publisher:
ISBN: 9789985592496
Category : Decision trees
Languages : en
Pages : 108

Get Book Here

Book Description


Digital Test Generation from Hierarchical Models and Failure Symptoms

Digital Test Generation from Hierarchical Models and Failure Symptoms PDF Author: Mark Harper Shirley
Publisher:
ISBN:
Category :
Languages : en
Pages : 180

Get Book Here

Book Description


Structural Decision Diagrams in Digital Test

Structural Decision Diagrams in Digital Test PDF Author: Raimund Ubar
Publisher: Birkhäuser
ISBN: 9783031447334
Category : Computers
Languages : en
Pages : 0

Get Book Here

Book Description
This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model represents structural and functional information jointly and opens a new area of research. The book introduces and discusses applications of two types of structural decision diagrams (DDs): low-level, structurally synthesized binary DDs (SSBDDs) and high-level DDs (HLDDs) that enable diagnostic modeling of complex digital circuits and systems. Topics and features: Provides the definition, properties and techniques for synthesis, compression and optimization of SSBDDs and HLDDs Provides numerous working examples that illustrate the key points of the text Describes applications of SSBDDs and HLDDs for various electronic design automation (EDA) tasks, such as logic-level fault modeling and simulation, multi-valued simulation, timing-critical path identification, and test generation Discusses the advantages of the proposed model to traditional binary decision diagrams and other traditional design representations Combines SSBDDs with HLDDs for multi-level representation of digital systems for enabling hierarchical and cross-level solving of complex test-related tasks This unique book is aimed at researchers working in the fields of computer science and computer engineering, focusing on test, diagnosis and dependability of digital systems. It can also serve as a reference for graduate- and advanced undergraduate-level computer engineering and electronics courses. Three authors are affiliated with the Dept. of Computer Systems at the Tallinn University of Technology, Estonia: Raimund Ubar is a retired Professor, Jaan Raik and Maksim Jenihhin are tenured Professors. Artur Jutman, PhD, is a researcher at the same university and the CEO of Testonica Lab Ltd., Estonia.

A Method of Modeling and Symbolic Test Generation for Hierarchical Digital Systems

A Method of Modeling and Symbolic Test Generation for Hierarchical Digital Systems PDF Author: Pillaipakkam N. Anirudhan
Publisher:
ISBN:
Category : Digital integrated circuits
Languages : en
Pages : 180

Get Book Here

Book Description


Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits

Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits PDF Author: M. Bushnell
Publisher: Springer Science & Business Media
ISBN: 0306470403
Category : Technology & Engineering
Languages : en
Pages : 690

Get Book Here

Book Description
The modern electronic testing has a forty year history. Test professionals hold some fairly large conferences and numerous workshops, have a journal, and there are over one hundred books on testing. Still, a full course on testing is offered only at a few universities, mostly by professors who have a research interest in this area. Apparently, most professors would not have taken a course on electronic testing when they were students. Other than the computer engineering curriculum being too crowded, the major reason cited for the absence of a course on electronic testing is the lack of a suitable textbook. For VLSI the foundation was provided by semiconductor device techn- ogy, circuit design, and electronic testing. In a computer engineering curriculum, therefore, it is necessary that foundations should be taught before applications. The field of VLSI has expanded to systems-on-a-chip, which include digital, memory, and mixed-signalsubsystems. To our knowledge this is the first textbook to cover all three types of electronic circuits. We have written this textbook for an undergraduate “foundations” course on electronic testing. Obviously, it is too voluminous for a one-semester course and a teacher will have to select from the topics. We did not restrict such freedom because the selection may depend upon the individual expertise and interests. Besides, there is merit in having a larger book that will retain its usefulness for the owner even after the completion of the course. With equal tenacity, we address the needs of three other groups of readers.

Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips

Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips PDF Author: Kai Hu
Publisher: Springer
ISBN: 331956255X
Category : Technology & Engineering
Languages : en
Pages : 151

Get Book Here

Book Description
This book provides a comprehensive overview of flow-based, microfluidic VLSI. The authors describe and solve in a comprehensive and holistic manner practical challenges such as control synthesis, wash optimization, design for testability, and diagnosis of modern flow-based microfluidic biochips. They introduce practical solutions, based on rigorous optimization and formal models. The technical contributions presented in this book will not only shorten the product development cycle, but also accelerate the adoption and further development of modern flow-based microfluidic biochips, by facilitating the full exploitation of design complexities that are possible with current fabrication techniques.