CLP-based multifrequency test generation for analog circuits | IEEE Conference Publication | IEEE Xplore