Formal performance evaluation of AMBA-based system-on-chip designs.

Gabor Madl Sudeep Pasricha Luis Angel D. Bathen Nikil D. Dutt Qiang Zhu

Published in: EMSOFT (2006)

Keyphrases

design space exploration
hardware and software
embedded systems
social networks
power consumption
formal model
formal specification
design space
machine learning
information systems
decision making
computer architecture