Verification of mixed-signal non-linear objects | IEEE Conference Publication | IEEE Xplore