Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs.

Published in: TACAS (1997)

Keyphrases

hardware and software
low cost
computer systems
circuit design
hardware software
model checking
functional programs
machine learning
hardware designs
database
data processing
program synthesis
symbolic execution
remote monitoring
hardware software co design
software and hardware implementations