Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components | IEEE Conference Publication | IEEE Xplore