Formal Verification: An Essential Toolkit for Modern VLSI Design, 2ed - Erik Seligman (Elsevier, 2023)
Keywords: Engineering