Correct-by-construction multi-component SoC design.

Roopak Sinha Partha S. Roop Zoran Salcic Samik Basu

Published in: DATE (2012)

Keyphrases

multi component
artificial intelligence
data sets
low cost
building blocks
design process
engineering design
design methodology
databases
real world
social networks
decision making
user interface
high speed
knowledge based systems