Comparison of four design environments employed to analyze a switched-capacitor DC-DC converter | IEEE Conference Publication | IEEE Xplore