ATPRG: an automatic test program generator using HDL-A for fault diagnosis of analog/mixed-signal integrated circuits | IEEE Journals & Magazine | IEEE Xplore