High-Level Verification: Methods and Tools for Verification of System-Level Designs - Sudipta Kundu - Books - Springer-Verlag New York Inc. - 9781441993588 - May 30, 2011
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
SEK 1,149
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 7 - 20

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.

178 pages, 1, black & white illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 30, 2011
ISBN13 9781441993588
Publishers Springer-Verlag New York Inc.
Pages 167
Dimensions 163 × 247 × 17 mm   ·   430 g
Language English  

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