Architecting Dynamic Power Management to be Formally Verifiable.

Daniel J. Sorin, Opeoluwa Matthews, Meng Zhang

Browse the full DAC paper archive.