Sangiovanni Vincentelli, “Test generation for sequential circuits (1988)

by H K T Ma, S Devadas, A R Newton, A
Venue:ZEEE Trans. Compuler-Aided Design