E-Books durchsuchen
Formal Semantics and Proof Techniques for Optimizing VHDL Models [1999]
- 1
-
Introduction
- 7
-
Related Work
- 17
-
The Static Model
- 31
-
A Well-Formed VHDL Model
- 43
-
The Reduction Algebra
- 55
-
Completeness of the Reduced Form
- 65
-
Interval Temporal Logic
- 69
-
The Dynamic Model
- 89
-
Applications of the Dynamic Model
- 99
-
A Framework for Proving Equivalences using PVS
- 123
-
Conclusions