Simulation Approach to Provably Correct Hardware Compilation.
Jifeng HeJianping ZhengPublished in: FTRTFT (1994)
Keyphrases
- provably correct
- hardware software
- low cost
- formal methods
- real time
- situation calculus
- hardware and software
- mathematical model
- embedded systems
- error estimates
- computing power
- hardware implementation
- simulation model
- data acquisition
- black box
- computing systems
- natural language
- parallel architectures
- image processing
- information systems
- artificial intelligence