Title: Principles of Testing Electronic Systems / Edition 1, Author: Samiha Mourad
Title: Formal Verification of Circuits / Edition 1, Author: Rolf Drechsler
Title: Applied Formal Verification: For Digital Circuit Design / Edition 1, Author: Douglas L. Perry
Title: Advances in Electronic Testing: Challenges and Methodologies / Edition 1, Author: Dimitris Gizopoulos
Title: Advanced Formal Verification / Edition 1, Author: Rolf Drechsler