ATPG to detect stuck-at faults in Verilog netlist with TetraMAX tcl commands - View it on GitHub