Formal Verification of Hardware / Software Power Management Strategies.

Rajdeep Mukherjee Pallab Dasgupta Ajit Pal Subhankar Mukherjee

Published in: VLSI Design (2013)

Keyphrases

formal verification
power management
hardware software
power consumption
hardware and software
model checking
embedded systems
hw sw
energy saving
energy consumption
energy efficiency
design methodology
high performance computing
data center
multi core processors
wireless sensor networks
human activities
low cost