-
Author M Kumar , Tom Schubert , Erik Seligman
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 direct....
Release Date 2015/07