System-level test synthesis for mixed-signal designs | IEEE Journals & Magazine | IEEE Xplore