Publications

ABCD: Accurate Booleanization of Continuous Dynamics for Analog/Mixed-Signal Design

Aadithya, Karthik V.; Sterin, Baruch S.; Ray, Sayak R.; Nuzzo, Pierluigi N.; Mishchenko, Alan M.; Brayton, Bob B.; Roychowdhury, Jaijeet R.

Abstract not provided.