High-Level Verification: Methods and Tools for Verification of System-Level Designs - Sudipta Kundu - Bøker - Springer-Verlag New York Inc. - 9781493901012 - 1. oktober 2014
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 969

Bestillingsvarer

Forventes levert 6. - 16. nov
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Sudipta Kundu

Kundene våre sier:

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

Ikke vurdert ennå

Finnes også som:

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.

167 pages, 6 black & white tables, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 1. oktober 2014
ISBN13 9781493901012
Utgivere Springer-Verlag New York Inc.
Antall sider 167
Mål 155 × 235 × 10 mm   ·   267 g
Språk Engelsk  

Mer fra samme **utgiver**

Se alt med Sudipta Kundu