Provably Correct Hardware Compilation using Timing Diagrams.
Michael SchenkeMichael DossisPublished in: FORTE (1999)
Keyphrases
- provably correct
- low cost
- hardware and software
- situation calculus
- formal methods
- error estimates
- real time
- massively parallel
- embedded systems
- hardware implementation
- computing power
- circuit design
- hardware architecture
- image processing
- knowledge compilation
- graphics hardware
- vlsi implementation
- asynchronous circuits
- black box