System-on-chip design by proof-based refinement.

Dominique Cansell Dominique Méry Cyril Proch

Published in: Int. J. Softw. Tools Technol. Transf. (2009)

Keyphrases

embedded systems
user interface
hardware and software
hardware software partitioning
design issues
design methodology
design decisions
design principles
design space exploration
engineering design
database
power consumption
building blocks
low cost
multi agent
case study
artificial intelligence
neural network