Formal Methods for Dynamic Power Management

Dynamic Power Management or DPM refers to the problem of judicious application of various low power techniques based on runtime conditions in an embedded system to minimize the total energy consumption. To be effective, often such decisions take into account the operating conditions and the system-level design goals. DPM has been a subject of intense research in the pest decade driven by the need for low power in modern embedded devices. We present an overview of the formal methods that have been explored in solving the system-level DPM problem. We show how formal reasoning frameworkscan potentially unify apparently disparate DPM techniques.

• Type: Conference
• Year: 2003
• Where: ICCAD
• Authors: Rajesh K. Gupta, Sandy Irani, Sandeep K. Shukla
• Keywords: Disparate Dpm Techniques, Hardware, ICCAD 2003, Low Power Techniques, System-level Dpm Problem