ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification.
Aadithya V. KarthikSayak RayPierluigi NuzzoAlan MishchenkoRobert K. BraytonJaijeet RoychowdhuryPublished in: ASP-DAC (2014)