Formal methods for coverage analysis of architectural power states in power-managed designs.

Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer

Browse the full ASPDAC paper archive.