
Tell your friends about this item:
Scalable Hardware Verification with Symbolic Simulation Softcover reprint of hardcover 1st ed. 2006 edition
Valeria Bertacco
Scalable Hardware Verification with Symbolic Simulation Softcover reprint of hardcover 1st ed. 2006 edition
Valeria Bertacco
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 Paperback Book (Book with soft cover and glued back) |
Released | October 29, 2010 |
ISBN13 | 9781441937391 |
Publishers | Springer-Verlag New York Inc. |
Pages | 180 |
Dimensions | 155 × 235 × 10 mm · 276 g |
Language | English |
Show all
More by Valeria Bertacco
See all of Valeria Bertacco ( e.g. Paperback Book and Hardcover Book )