Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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. Models in Hardware Testing treats models and especially fault models in hardware testing in a comprehensive way not found anywhere else. Engineers who are responsible for product quality and test coverage, students who want to learn about quality assessment for new technologies or lecturers who are interested in the most recent advances in model based hardware testing will take benefits from reading. The material collected in Models in Hardware Testing was prepared for the forum in honor of Christian Landrault in connection with the European Test Symposium 2009.

Electronic digital computers -- Circuits -- Testing. --- Integrated circuits -- Computer simulation. --- Integrated circuits -- Verification. --- Electronic digital computers --- Integrated circuits --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer Science --- Electrical Engineering --- Circuits --- Testing --- Verification --- Computer simulation --- Computer software --- Computers --- Electric fault location. --- Testing. --- Very large scale integration --- Computer-aided design. --- Landrault, Christian. --- Fault location (Electrical engineering) --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Software, Computer --- Computer science. --- Computer hardware. --- Computer logic. --- Computer simulation. --- Electronic circuits. --- Computer Science. --- Computer Hardware. --- Logics and Meanings of Programs. --- Simulation and Modeling. --- Circuits and Systems. --- Performance and Reliability. --- Reusability. --- Electric circuits --- Electric currents --- Fault location (Engineering) --- Short circuits --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Logic design. --- Systems engineering. --- Operating systems (Computers). --- Computer operating systems --- Disk operating systems --- Systems software --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Operating systems --- Design and construction --- Computer software—Reusability. --- Electron-tube circuits --- Electron tubes --- Electronics --- Computer science logic --- Logic, Symbolic and mathematical