Test pattern generation for circuits with tri-state modules by Z-algorithm | IEEE Journals & Magazine | IEEE Xplore