Formal Verification
An Essential Toolkit for Modern VLSI Design
- 1st Edition - July 24, 2015
- Latest edition
- Authors: Erik Seligman, M .V. Achutha Kiran Kumar, Tom Schubert
- Language: English
Product details
Product details
- Edition: 1
- Latest edition
- Published: August 14, 2015
- Language: English
View book on ScienceDirect
View book on ScienceDirect
Read Formal Verification on ScienceDirect