Hardware/Software Synthesis and Verification Using Esterel.

Published in: CPA (2007)

Keyphrases

hardware software
circuit design
hardware and software
hw sw
embedded systems
design methodology
multi core processors
model checking
hardware software partitioning
real time
hardware design
low cost
computer systems
formal methods
high performance computing
massively parallel
general purpose
relational databases