Constraint-Based Verification
149,79 €*
Nach dem Kauf zum Download bereit Ein Downloadlink ist wenige Minuten nach dem Kauf im eigenen Benutzerprofil verfügbar.
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.
| Autor: | Jun Yuan, Carl Pixley, Adnan Aziz |
|---|---|
| EAN: | 9780387307848 |
| eBook Format: | |
| Sprache: | English |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 21.04.2006 |
| Kategorie: | |
| Schlagworte: | Verilog diagnosis formal method formal methods optimization simulation |
Anmelden
Möchten Sie lieber vor Ort einkaufen?
Haben Sie weiterführende Fragen zu diesem Buch oder anderen Produkten? Oder möchten Sie einfach doch lieber in der Buchhandlung stöbern? Wir sind gern persönlich für Sie da und beraten Sie auch telefonisch.
Buchhandlung Nettesheim GmbH
Hauptstraße 17
42349 Wuppertal
Telefon: 0202/472870
Mo – Fr09:30 – 18:00 UhrSa09:00 – 13:00 Uhr