SPICE Models Verify SMPS Designs