Formal verification of switched capacitor DC to DC power converter using circuit simulation traces. - Ambuj Mishra; Subir K. Roy (VDAT, 2016)