High-Level Verification: Methods and Tools for Verification of System-Level Designs - Sudipta Kundu - Bøger - Springer-Verlag New York Inc. - 9781441993588 - 30. maj 2011
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Sudipta Kundu

Pris
₺ 6.405

Bestilles fra fjernlager

Forventes klar til forsendelse 28. okt. - 4. nov.
Tilføj til din iMusic ønskeseddel
eller

Findes 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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 30. maj 2011
ISBN13 9781441993588
Forlag Springer-Verlag New York Inc.
Antal sider 167
Mål 163 × 247 × 17 mm   ·   430 g
Sprog Engelsk