High-Level Verification: Methods and Tools for Verification of System-Level Designs - Sudipta Kundu - Books - Springer-Verlag New York Inc. - 9781493901012 - October 1, 2014
In case cover and title do not match, the title is correct

High-Level Verification: Methods and Tools for Verification of System-Level Designs 2011 edition

Sudipta Kundu

Price
$ 122.99

Ordered from remote warehouse

Expected delivery Aug 2 - 16

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:

High-Level Verification: Methods and Tools for Verification of System-Level Designs 2011 edition

The verification techniques presented in this book include methods for verifying properties of high-level designs and methods for verifying that the translation from high-level design to a low-level Register Transfer Language (RTL) design preserves semantics.

167 pages, 6 black & white tables, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 1, 2014
ISBN13 9781493901012
Publishers Springer-Verlag New York Inc.
Pages 167
Dimensions 155 × 235 × 10 mm   ·   267 g
Language English  

See all of Sudipta Kundu ( e.g. Hardcover Book and Paperback Book )