Constraint-Based Verification
| Autor: | Jun Yuan, Carl Pixley, Adnan Aziz |
|---|---|
| EAN: | 9780387307848 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 21.04.2006 |
| Kategorie: | |
| Schlagworte: | Verilog diagnosis formal method formal methods optimization simulation |
149,79 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular.
It relates constrained verification with the also-hot technology called assertion-based design.
Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.
Verwandte Artikel