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 (VLSID, 2017)