This is a Fault-Injection-Fault-Analysis tool for verilog files.