Paper Info
Title
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Abstract
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels. This has resulted in an explosion of the design space when analyzing the system-level tradeoffs of candidate DPM strategy designs. This paper proposes a design space exploration methodology based on a high-level, multi-layered modeling framework that facilitates rapid estimation of system-wide energy by providing the designer with a global view of the system. The framework is based on the Extended Finite State Machine formalism and abstracts the component power modes, the operating environment and the DPM architecture into interacting, concurrent layers within a single, unified model. The modeling framework is coupled with a symbolic simulation engine to allow for rapid traversal of the large design space. We first illustrate how the proposed model can be constructed by making reasonable assumptions on the system and workload parameters, and then we show how analysis of various candidate strategies can be performed using this model. Our aim is to provide a high-level model that can be used to quickly assess the impact of various power management decisions on the system-wide energy. The framework can also be a formal basis for design of energy efficient power management systems.
Year
DOI
Venue
2005
10.1109/ICCD.2005.9
ICCD
Keywords
Field
DocType
unified model,extended finite state machine,low power electronics,integrated circuit design,logic design,energy efficient
Power management,Operating environment,Symbolic simulation,Power optimization,Efficient energy use,Computer science,Extended finite-state machine,Real-time computing,Control engineering,Software,Design space exploration
Conference
ISSN
ISBN
Citations 
1063-6404
0-7695-2451-6
3
PageRank 
References 
Authors
0.44
21
5
Name
Order
Citations
PageRank
Shrirang M. Yardi1554.16
Karthik Channakeshava2656.08
Michael S. Hsiao31467132.13
Thomas L. Martin420124.17
Dong S. Ha513314.49