Architecting dynamic power management to be formally verifiable
Publication
, Journal Article
Sorin, DJ; Matthews, O; Zhang, M
Published in: Proceedings - Design Automation Conference
January 1, 2014
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. Copyright 2014 ACM.
Duke Scholars
Published In
Proceedings - Design Automation Conference
DOI
ISSN
0738-100X
Publication Date
January 1, 2014
Citation
APA
Chicago
ICMJE
MLA
NLM
Sorin, D. J., Matthews, O., & Zhang, M. (2014). Architecting dynamic power management to be formally verifiable. Proceedings - Design Automation Conference. https://doi.org/10.1145/2593069.2596669
Sorin, D. J., O. Matthews, and M. Zhang. “Architecting dynamic power management to be formally verifiable.” Proceedings - Design Automation Conference, January 1, 2014. https://doi.org/10.1145/2593069.2596669.
Sorin DJ, Matthews O, Zhang M. Architecting dynamic power management to be formally verifiable. Proceedings - Design Automation Conference. 2014 Jan 1;
Sorin, D. J., et al. “Architecting dynamic power management to be formally verifiable.” Proceedings - Design Automation Conference, Jan. 2014. Scopus, doi:10.1145/2593069.2596669.
Sorin DJ, Matthews O, Zhang M. Architecting dynamic power management to be formally verifiable. Proceedings - Design Automation Conference. 2014 Jan 1;
Published In
Proceedings - Design Automation Conference
DOI
ISSN
0738-100X
Publication Date
January 1, 2014