Formal verification of Full-Wave Rectifier using SPICE circuit simulation traces

Kusum Lata, H. S. Jamadagni. Formal verification of Full-Wave Rectifier using SPICE circuit simulation traces. In 11th International Symposium on Quality of Electronic Design (ISQED 2010), 22-24 March 2010, San Jose, CA, USA. pages 264-270, IEEE, 2010. [doi]

Authors

Kusum Lata

This author has not been identified. Look up 'Kusum Lata' in Google

H. S. Jamadagni

This author has not been identified. Look up 'H. S. Jamadagni' in Google