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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.