Correctness proofs of parameterized hardware modules in the CATHEDRAL-II synthesis environment.

Diederik Verkest Luc J. M. Claesen Hugo De Man

Published in: EURO-DAC (1990)

Keyphrases

real time
dynamic environments
theorem proving
low cost
hardware and software
data sets
image processing
mobile robot
theorem prover
embedded systems
program synthesis
high end
hardware implementation
virtual world
computer systems
general purpose
control system
case study
neural network