Amandeep Singh, Peng Li. On behavioral model equivalence checking for large analog/mixed signal systems. In 2010 International Conference on Computer-Aided Design (ICCAD 10), November 7-11, 2010, San Jose, CA, USA. pages 55-61, IEEE, 2010. [doi]
Abstract is missing.