Login / Signup
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