Specification-driven test generation for analog circuits | IEEE Journals & Magazine | IEEE Xplore