Scalable Hardware Verification with Symbolic Simulation

New
Paperback
2010
$97.57

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.

Synopsis

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.

$97.57

Save:$6.06 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 200
Edition: Softcover reprint of hardcover 1st ed. 2006
Publisher: Springer
Published: 12 Feb 2010
ISBN 10: 1441937390
ISBN 13: 9781441937391

Scalable Hardware Verification with Symbolic Simulation

New

$97.57

Synopsis

$97.57

More Information