Hans-Joachim Wunderlich The design of random-testable sequential circuits. 110-117 1989 FTCS https://doi.org/10.1109/FTCS.1989.105552 conf/ftcs/1989 db/conf/ftcs/ftcs1989.html#Wunderlich89