High Quality Power-Aware Verification of Mixed Signal designs using UPF checkers. - Gokul T; Ajay B. S; Raveendranathreddy P (ISOCC, 2024)