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]
Abstract is missing.