Model based testing is the most powerful technique for testing hardware
and software systems. Models in Hardware Testing describes the use of
models at all the levels of hardware testing. The relevant fault models
for nanoscaled CMOS technology are introduced, and their implications on
fault simulation, automatic test pattern generation, fault diagnosis,
memory testing and power aware testing are discussed. Models and the
corresponding algorithms are considered with respect to the most recent
state of the art, and they are put into a historical context by a
concluding chapter on the use of physical fault models in fault
tolerance.