10% OFF

High-Level Verification

Methods And Tools For Verification Of System-Level Designs

by Sorin Lerner, Rajesh K. Gupta e Sudipta Kundu
language: english
Publisher: SPRINGER-VERLAG NEW YORK INC., May of 2011 ‧
121,66€
10% OFF CARD
free shipping
Sell ​​your book
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.

High-Level Verification

Methods And Tools For Verification Of System-Level Designs

by Sorin Lerner, Rajesh K. Gupta e Sudipta Kundu

Property Description
ISBN: 9781441993588
Publisher: SPRINGER-VERLAG NEW YORK INC.
Release Date: May of 2011
Language: English
Cover: Hardcover
Pages: 167
Format: Book
Categories: Books in English > Art > Design and Illustration
EAN: 9781441993588