High-Level Verification: Methods and Tools for Verification of System-Level Designs - Sudipta Kundu - Bøker - Springer-Verlag New York Inc. - 9781441993588 - 30. mai 2011
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Sudipta Kundu

Pris
HK$ 949

Bestillingsvarer

Forventes levert 17. - 28. okt

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

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 Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 30. mai 2011
ISBN13 9781441993588
Utgivere Springer-Verlag New York Inc.
Antall sider 167
Mål 163 × 247 × 17 mm   ·   430 g
Språk Engelsk  

Se alt med Sudipta Kundu ( f.eks. Innbunden bok og Pocketbok )