Login / Signup
A hardware/software codesign framework for developing complex embedded systems using formal model refinement.
Nikos S. Voros
Colin F. Snook
Stefan Hallerstede
Thierry Lecomte
Published in:
FDL (2004)
Keyphrases
</>
hardware software
embedded systems
formal model
hw sw
hardware and software
low cost
design methodology
multi core processors
high performance computing
real time
information systems
software systems
field programmable gate array
hardware design
artificial intelligence
object oriented