TY - BOOK ID - 14305006 TI - Models in hardware testing : lecture notes of the forum in honor of Christian Landrault PY - 2010 SN - 9048132819 9400730934 9786612837579 9048132827 1282837575 PB - Dordrecht : Springer, DB - UniCat KW - Electronic digital computers -- Circuits -- Testing. KW - Integrated circuits -- Computer simulation. KW - Integrated circuits -- Verification. KW - Electronic digital computers KW - Integrated circuits KW - Engineering & Applied Sciences KW - Electrical & Computer Engineering KW - Computer Science KW - Electrical Engineering KW - Circuits KW - Testing KW - Verification KW - Computer simulation KW - Computer software KW - Computers KW - Electric fault location. KW - Testing. KW - Very large scale integration KW - Computer-aided design. KW - Landrault, Christian. KW - Fault location (Electrical engineering) KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Software, Computer KW - Computer science. KW - Computer hardware. KW - Computer logic. KW - Computer simulation. KW - Electronic circuits. KW - Computer Science. KW - Computer Hardware. KW - Logics and Meanings of Programs. KW - Simulation and Modeling. KW - Circuits and Systems. KW - Performance and Reliability. KW - Reusability. KW - Electric circuits KW - Electric currents KW - Fault location (Engineering) KW - Short circuits KW - Computer systems KW - Cybernetics KW - Machine theory KW - Calculators KW - Cyberspace KW - Logic design. KW - Systems engineering. KW - Operating systems (Computers). KW - Computer operating systems KW - Disk operating systems KW - Systems software KW - Engineering systems KW - System engineering KW - Engineering KW - Industrial engineering KW - System analysis KW - Computer modeling KW - Computer models KW - Modeling, Computer KW - Models, Computer KW - Simulation, Computer KW - Electromechanical analogies KW - Mathematical models KW - Simulation methods KW - Model-integrated computing KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Operating systems KW - Design and construction KW - Computer software—Reusability. KW - Electron-tube circuits KW - Electron tubes KW - Electronics KW - Computer science logic KW - Logic, Symbolic and mathematical UR - https://www.unicat.be/uniCat?func=search&query=sysid:14305006 AB - 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. ER -