Formal verification of switched capacitor DC to DC power converter using circuit simulation traces

Ambuj Mishra, Subir K. Roy. Formal verification of switched capacitor DC to DC power converter using circuit simulation traces. In 20th International Symposium on VLSI Design and Test, VDAT 2016, Guwahati, India, May 24-27, 2016. pages 1-2, IEEE, 2016. [doi]

Abstract

Abstract is missing.