Tallenna
High-Level Verification
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.
- Alaotsikko
- Methods and Tools for Verification of System-Level Designs
- Kirjailija
- Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
- Painos
- 2011 ed.
- ISBN
- 9781441993588
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 30.5.2011
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 167
