Gentest: an automatic test-generation system for sequential circuits | IEEE Journals & Magazine | IEEE Xplore