A proposed hardware fault simulation engine. - Daniel Cock; Andy Carpenter (EURO-DAC, 1991)