Mixed Signal Verification of a Voltage Regulator using a State Space Approach and the SV-DC extensions