Formal Verification of Power Management Logic with Mixed-Signal Domains.

Sudipa Mandal, Antonio Anastasio Bruto da Costa, Aritra Hazra, Pallab Dasgupta, Bhushan Naware, Chunduri Rama Mohan, Sanjib Basu

Browse the full VLSID paper archive.