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

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

Price
$ 104.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

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:

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  

Mere med samme udgiver

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