Title: Formal Verification: An Essential Toolkit for Modern VLSI Design, Author: Erik Seligman MS
Title: Principles of Testing Electronic Systems, Author: Samiha Mourad