High-Level Verification
| Autor: | Gupta, Rajesh K. Kundu, Sudipta Lerner, Sorin |
|---|---|
| EAN: | 9781493901012 |
| Sachgruppe: | Technik |
| Sprache: | Englisch |
| Seitenzahl: | 184 |
| Produktart: | Kartoniert / Broschiert |
| Veröffentlichungsdatum: | 01.10.2014 |
| Untertitel: | Methods and Tools for Verification of System-Level Designs |
106,99 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Offers industry practitioners already involved with high-level synthesis an invaluable reference to high-level verification Uses a combination of formal techniques to do scalable verification of system designs completely automatically Presents techniques that guarantee properties verified in the high-level design are preserved through the translation to low-level RTL Written by researchers in work in mainstream hardware and software design and includes results from both academia and industry
Verwandte Artikel
Weitere Produkte vom selben Autor