Alicia Manthe, Zhao Li, C.-J. Richard Shi. Symbolic analysis of analog circuits with hard nonlinearity. In Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003. pages 542-545, ACM, 2003. [doi]
Abstract is missing.