Title: Advanced Formal Verification / Edition 1, Author: Rolf Drechsler
Title: Principles of Testing Electronic Systems / Edition 1, Author: Samiha Mourad
Title: Advances in Electronic Testing: Challenges and Methodologies / Edition 1, Author: Dimitris Gizopoulos
Title: Applied Formal Verification: For Digital Circuit Design / Edition 1, Author: Douglas L. Perry
Title: Analog Test Signal Generation Using Periodic ??-Encoded Data Streams, Author: Benoit Dufort
Title: Formal Verification of Circuits / Edition 1, Author: Rolf Drechsler
Title: On-Line Testing for VLSI, Author: Michael Nicolaidis
Title: System Test and Diagnosis, Author: William R. Simpson