Provably-correct hardware compilation tools based on pass separation techniques.

Steve McKeever Wayne Luk

Published in: Formal Aspects Comput. (2006)

Keyphrases

provably correct
formal methods
low cost
real time
hardware and software
hardware platforms
software tools
decision support
user friendly
embedded systems
situation calculus
graphics hardware
hardware architecture
code generation
error estimates