Vacuity Analysis by Fault Simulation