Formal Verification of Power Management Logic with Mixed-Signal Domains | IEEE Conference Publication | IEEE Xplore