With great power comes great responsibility: A method to verify PMICs using UVM-MS