Behavioral Fault Simulation in VHDL. - P. C. Ward; James R. Armstrong (DAC, 1990)