Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components.

Sudipa Mandal, Aritra Hazra, Pallab Dasgupta, Chunduri Rama Mohan

Browse the full VLSID paper archive.