FVCAG: A framework for formal verification driven power modeling and verification.

Arun Joseph, Spandana Rachamalla, Rahul M. Rao, Anand Haridass, Pradeep Kumar Nalla

Browse the full ISLPED paper archive.