Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer. Formal methods for coverage analysis of architectural power states in power-managed designs. In Proceedings of the 17th Asia and South Pacific Design Automation Conference, ASP-DAC 2012, Sydney, Australia, January 30 - February 2, 2012. pages 585-590, IEEE, 2012. [doi]
@inproceedings{HazraDBH12,
title = {Formal methods for coverage analysis of architectural power states in power-managed designs},
author = {Aritra Hazra and Pallab Dasgupta and Ansuman Banerjee and Kevin Harer},
year = {2012},
doi = {10.1109/ASPDAC.2012.6165024},
url = {http://dx.doi.org/10.1109/ASPDAC.2012.6165024},
researchr = {https://researchr.org/publication/HazraDBH12},
cites = {0},
citedby = {0},
pages = {585-590},
booktitle = {Proceedings of the 17th Asia and South Pacific Design Automation Conference, ASP-DAC 2012, Sydney, Australia, January 30 - February 2, 2012},
publisher = {IEEE},
isbn = {978-1-4673-0770-3},
}