High-Level Verification: Methods and Tools for Verification of System-Level Designs - Sudipta Kundu - Kirjat - Springer-Verlag New York Inc. - 9781441993588 - maanantai 30. toukokuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Sudipta Kundu

Hinta
₩ 188.100

Tilattu etävarastosta

Arvioitu toimitus pe - ti 3. - 14. loka
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 30. toukokuuta 2011
ISBN13 9781441993588
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 167
Mitta 163 × 247 × 17 mm   ·   430 g
Kieli English