Challenges in System on Chip Verification.

Noah Bamford Rekha Bangalore Eric Chapman Hector Chavez Rajeev Dasari Yinfang Lin Edgar Jimenez

Published in: MTV (2006)

Keyphrases

hardware and software
key issues
real world
model checking
power consumption
embedded systems
data sets
lessons learned
neural network
search algorithm
design methodology
formal methods