High-Level Verification: Methods and Tools for Verification of System-Level Designs - Sudipta Kundu - Knjige - Springer-Verlag New York Inc. - 9781441993588 - 30. maja 2011
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 114,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 5. - 19. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Sudipta Kundu
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 30. maja 2011
ISBN13 9781441993588
Založniki Springer-Verlag New York Inc.
Strani 167
Dimenzije 163 × 247 × 17 mm   ·   420 g
Jezik Angleščina  

Več od istega **izdajatelja**