SystemC-AMS modeling and simulation of digitally controlled DC-DC converters | IEEE Conference Publication | IEEE Xplore