Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques.

Steve McKeever Wayne Luk

Published in: CHARME (2001)

Keyphrases

provably correct
formal methods
real time
low cost
code generation
decision support
hardware and software
end users
data acquisition
web services
user friendly
situation calculus
hardware platforms
personal computer
knowledge acquisition
natural language
e learning
artificial intelligence