Das Buch ist derzeit nicht auf Lager
Parameter
Mehr zum Buch
This thesis addresses automation and enhanced user support in functional verification of digital systems with a special focus on processors. Verification is an important issue in the design process of digital systems. In contrast to traditional simulation based methods, formal verification can provide a mathematical correctness proof. But, up to today, these methods are difficult to use in practice, without a strong background in formal techniques. This thesis aims at improving the usability and increasing the productivity of formal hardware verification.
Buchkauf
Advanced automation in formal verification of processors, Ulrich Kühne-Hellmessen
- Sprache
- Erscheinungsdatum
- 2009
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Advanced automation in formal verification of processors
- Sprache
- Englisch
- Autor*innen
- Ulrich Kühne-Hellmessen
- Verlag
- Shaker
- Verlag
- 2009
- ISBN10
- 3832286195
- ISBN13
- 9783832286194
- Kategorie
- Informatik & Programmierung
- Beschreibung
- This thesis addresses automation and enhanced user support in functional verification of digital systems with a special focus on processors. Verification is an important issue in the design process of digital systems. In contrast to traditional simulation based methods, formal verification can provide a mathematical correctness proof. But, up to today, these methods are difficult to use in practice, without a strong background in formal techniques. This thesis aims at improving the usability and increasing the productivity of formal hardware verification.