Constrained specification-based test stimulus generation for analog circuits using nonlinear performance prediction models | IEEE Conference Publication | IEEE Xplore