Tutorial: SoC Power Management Verification and Testing Issues.

Bhanu Kapoor J. Marc Edwards Shankar Hemmady Shireesh Verma Kaushik Roy

Published in: MTV (2008)

Keyphrases

power management
power consumption
low power
test generation
energy consumption
energy efficiency
symbolic execution
data center
energy saving
formal verification
multi agent
dynamic power management
database systems
embedded systems
cost effective
human computer interaction
software engineering