Verification of Power-Management Specification at Early Stages of Power-Constrained Systems Design.
Dominik MackoKatarina JelemenskaPavel CicakPublished in: J. Circuits Syst. Comput. (2017)
Keyphrases
- power management
- dynamic power management
- early stage
- power consumption
- energy efficiency
- formal methods
- ibm power processor
- formal verification
- building blocks
- data center
- energy saving
- energy consumption
- highly modular
- asynchronous circuits
- knowledge based systems
- databases
- functional verification
- mobile devices
- battery life
- management system
- design considerations
- intelligent systems
- model checking