Formal Verification of Hardware / Software Power Management Strategies.

Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Subhankar Mukherjee

Browse the full VLSID paper archive.