REGGEN-Test pattern generation on register transfer level. - Andrej Magdolen; Jana Bezakova; Elena Gramatová; Mária Fischerová (EURO-DAC, 1993)