RTG: automatic register level test generator. - Semyon Shteingart; Andrew W. Nagle; John Grason (DAC, 1985)