High-Level Verification
Methods and Tools for Verification of System-Level Designs
Inbunden, Engelska, 2011
1 369 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
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.
Produktinformation
- Utgivningsdatum2011-05-30
- Mått155 x 235 x 17 mm
- Vikt420 g
- FormatInbunden
- SpråkEngelska
- Antal sidor167
- Upplaga2011
- FörlagSpringer-Verlag New York Inc.
- ISBN9781441993588