On the automatic generation of test patterns from mixed-level hardware descriptions - Wodtko, Andrea (Universität, 1989)