Discretization and discrimination methods for design, verification, and testing of analog/mixed-signal circuits | IEEE Conference Publication | IEEE Xplore