Random test generation using concurrent logic simulation. - Donald M. Schuler; Ernst G. Ulrich; Thomas E. Baker; Susan P. Bryant (DAC, 1975)