High-Level Verification - Methods and Tools for Verification of System-Level Designs
- Författare
- Sudipta. Kundu
- (Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer New York | 2011 | USA, New York, NY | 978-1-4419-9359-5 |