Automated Testing,
http://www.springer.com/gp/book/9780792383758
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Related Work
-
Altmetric BadgeChapter 3 The Static Model
-
Altmetric BadgeChapter 4 A Well-Formed VHDL Model
-
Altmetric BadgeChapter 5 The Reduction Algebra
-
Altmetric BadgeChapter 6 Completeness of the Reduced Form
-
Altmetric BadgeChapter 7 Interval Temporal Logic
-
Altmetric BadgeChapter 8 The Dynamic Model
-
Altmetric BadgeChapter 9 Applications of the Dynamic Model
-
Altmetric BadgeChapter 10 A Framework for Proving Equivalences using PVS
-
Altmetric BadgeChapter 11 Conclusions