Title :
Architecting dynamic power management to be formally verifiable
Author :
Sorin, Daniel J. ; Matthews, Opeoluwa ; Meng Zhang
Author_Institution :
Dept. of Electr. & Comput. Eng., Duke Univ., Durham, NH, USA
Abstract :
Many computer systems employ dynamic power management (DPM) to maximize power efficiency. DPM offers great opportunities, but deploying it carries significant risks if the DPM scheme is not completely verified. We propose architecting the DPM scheme such that it can be formally verified regardless of the size of the system.
Keywords :
energy management systems; formal verification; power aware computing; DPM; dynamic power management; power efficiency; Abstracts; Computer architecture; Computers; Formal verification; Fractals; Model checking; Program processors;
Conference_Titel :
Design Automation Conference (DAC), 2014 51st ACM/EDAC/IEEE
Conference_Location :
San Francisco, CA
DOI :
10.1145/2593069.2596669
