Verilog-A Model for a Switched-Capacitor DC-DC Converter | IEEE Conference Publication | IEEE Xplore