This textbook considers two kinds of problems related to real-time digital systems: (1) problems associated with testing digital systems to detect and locate faults and (2) problems related to the design of reliable digital systems.

The authors answer such questions as:

How do I detect and locate faults in digital circuits?

How do I verify the initial system design of a digital circuit?

How can I use digital simulation as a diagnostic tool?

How can I design self checking and fault tolerant digital systems?

The first chapter is an introduction to the notation used in the book. The second chapter deals with test generation for combinational circuits. The third chapter deals with test generation for sequential circuits. The fourth chapter deals with logic level simulation. The fifth and final chapter deals with reliable design theory and techniques.

This book is suitable either for a graduate level course in computer science or for use as a reference manual for digital circuit design and testing.