Sebastian Steinhorst, Lars Hedrich. Advanced methods for equivalence checking of analog circuits with strong nonlinearities. Formal Methods in System Design, 36(2):131-147, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.