Formal Verification
by Safari, an O'Reilly Media Company, Kumar, M, Seligman, Erik, Schubert, Tom
0
Type: Book
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze an…
