Knihu momentálně nemáme skladem
Parametry
Více o knize
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.
Nákup knihy
Advanced automation in formal verification of processors, Ulrich Kühne-Hellmessen
- Jazyk
- Rok vydání
- 2009
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Advanced automation in formal verification of processors
- Jazyk
- anglicky
- Autoři
- Ulrich Kühne-Hellmessen
- Vydavatel
- Shaker
- Vydavatel
- 2009
- ISBN10
- 3832286195
- ISBN13
- 9783832286194
- Kategorie
- Počítače, IT, programování
- Anotace
- 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.