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]

Authors

Ambuj Mishra

This author has not been identified. Look up 'Ambuj Mishra' in Google

Subir K. Roy

This author has not been identified. Look up 'Subir K. Roy' in Google