Fault - simulators for VLSI circuits