Modeling of multisampled pulse width modulators for digitally controlled DC-DC converters