Models in Hardware Testing
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.
Introduction of model based hardware testingDescribes fault models for nanoscaled CMOS technologyFault simulation, ATPG and diagnosis algorithms for complex fault modelsComprehensive treatment including memory and low power aspects