• DocumentCode
    1786698
  • 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
  • fYear
    2014
  • fDate
    1-5 June 2014
  • Firstpage
    1
  • Lastpage
    3
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference (DAC), 2014 51st ACM/EDAC/IEEE
  • Conference_Location
    San Francisco, CA
  • Type

    conf

  • DOI
    10.1145/2593069.2596669
  • Filename
    6881330
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1786698