On the automatic generation of test patterns from mixed-level hardware description - Wodtko, Andrea (1989)