High-Level Verification
Rajesh K. Gupta, Sorin Lerner, Sudipta Kundu
Springer-Verlag New York Inc., 2011
121,95 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9781441993588
- ISBN-10
- 1441993584
- Publisher
- Springer-Verlag New York Inc.
- Year
- 2011
- Publication date
- 2011-05-30
- Pages
- 167
- Dimensions
- 247x163x17
- Weight
- 420