E-Books durchsuchen

Designing Correct Circuits [1991]

1
Constrained Proofs: A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
29
Hardware synthesis in constructive type theory
50
An Algebraic Framework for Data Abstraction in Hardware Description
68
Generic Specification of Digital Hardware
92
Sampling and Proof: A Half-Case Study
99
High Level Test Generation via Process Composition
120
Towards Truly Delay-Insensitive Circuit Realizations of Process Algebras
132
The Design of a Delay-Insensitive Stack
153
Specifying the Micro-program Parallelism for Microprocessors of the Von Neumann style
171
The Implementation and Proof of a Boolean Simplification System
196
A Model for Synchronous Switching Circuits and its Theory of Correctness
212
Efficient Circuits as Implementations of Non-Strict Functions
231
Verification of Synchronous Concurrent Algorithms Using OBJ3: A Case Study of the Pixel-Planes Architecture
253
Use of the OTTER theorem prover for the formal verification of hardware
271
Proof-based transformation of formal hardware models
297
Ruby algebra
313
Using the Declarative Language LUSTRE for Circuit Verification
332
Optimising designs by transposition
Feedback