ProperTEST: a portable parallel test generator for sequential circuits | IEEE Journals & Magazine | IEEE Xplore