Noch Fragen? 0800 / 33 82 637

Advanced Automation in Formal Verification of Processors

Produktform: 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.weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-8322-8619-4 / 978-3832286194 / 9783832286194

Verlag: Shaker

Erscheinungsdatum: 11.11.2009

Seiten: 190

Auflage: 1

Autor(en): Ulrich Kühne

48,80 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück