Scalably verifiable dynamic power management

Opeoluwa Matthews, Meng Zhang, Daniel J. Sorin. Scalably verifiable dynamic power management. In 20th IEEE International Symposium on High Performance Computer Architecture, HPCA 2014, Orlando, FL, USA, February 15-19, 2014. pages 579-590, IEEE, 2014. [doi]

Abstract

Abstract is missing.