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