PMIC functional verification