Impact of SoC power management techniques on verification and testing.
Bhanu KapoorShankar HemmadyShireesh VermaKaushik RoyManuel A. d'AbreuPublished in: ISQED (2009)
Keyphrases
- power management
- power consumption
- low power
- data center
- energy consumption
- symbolic execution
- test generation
- formal verification
- energy saving
- energy efficiency
- test cases
- model checking
- dynamic power management
- database
- battery life
- design considerations
- wireless sensor networks
- hardware and software
- formal methods
- intelligent tutoring systems
- cost effective
- mobile phone
- databases
- data sets
- hardware software co design
- real time