Daniel J. Sorin, Opeoluwa Matthews, Meng Zhang
Architecting Dynamic Power Management to be Formally Verifiable
DAC, 2014.
@inproceedings{DAC-2014-SorinMZ, author = "Daniel J. Sorin and Opeoluwa Matthews and Meng Zhang", booktitle = "{Proceedings of the 51st Annual Design Automation Conference}", doi = "10.1145/2593069.2596669", isbn = "978-1-4503-2730-5", pages = "3", publisher = "{ACM}", title = "{Architecting Dynamic Power Management to be Formally Verifiable}", year = 2014, }