This book is designed to be used as an advanced text for seniors and graduate students in computer engineering, computer science, and electrical engineering. It is also intended for use as a reference book for researchers and practitioners. The book is self-contained with most topics covered extensively from fundamental concepts to the current techniques used in research and industry. However, we assume that students have had basic courses in logic design, computer science, probability theory, and the fundamental testing and DFT techniques. Attempts are made to present algorithms, where possible, in an easily understood format.

To encourage self-learning, the instructor or reader is advised to check the Elsevier companion Web site (www.books.elsevier.com/companions) to access up-to-date software and lecture slides. Instructors will have additional privileges to access the Solutions directory for all exercises given in each chapter by visiting www.textbooks.elsevier.com and registering a username and password.

Laung-Terng (L.-T.) WangCharles E. StroudNur A. Touba