Scalable Hardware Verification with Symbolic Simulation - Valeria Bertacco - Books - Springer-Verlag New York Inc. - 9780387244112 - December 21, 2005
In case cover and title do not match, the title is correct

Scalable Hardware Verification with Symbolic Simulation 2006 edition

Valeria Bertacco

Price
$ 122.49
excl. VAT

Ordered from remote warehouse

Expected delivery May 28 - Jun 11

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Scalable Hardware Verification with Symbolic Simulation 2006 edition

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.

180 pages, 40 black & white illustrations, 13 black & white tables, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 21, 2005
ISBN13 9780387244112
Publishers Springer-Verlag New York Inc.
Pages 180
Dimensions 155 × 235 × 12 mm   ·   458 g
Language English  
Show all

More by Valeria Bertacco

See all of Valeria Bertacco ( e.g. Paperback Book and Hardcover Book )