Title: TB3097 - Digital SMPS - Buck Converter Using the PIC12F1501 NCO Peripheral