Formal verification of switched capacitor DC to DC power converter using circuit simulation traces | IEEE Conference Publication | IEEE Xplore