Reihe Frontiers in Electronic Testing

Formal Equivalence Checking and Design Debugging

On-Line Testing for VLSI

Reasoning in Boolean Networks

Introduction to IDDQ Testing

Multi-Chip Module Test Strategies

From Contamination to Defects, Faults and Yield Loss

Efficient Branch and Bound Search with Application to Computer-Aided Design

Testability Concepts for Digital ICs