A Framework for the Development and Monitoring of Digital Control in Power Converters