Implementation of the D-Algorithm to generate test vector for detecting stuck at fault in a circuit.
Circuit Used as the sample netlist.
Algorithm implemented in this project.
See the Assignment report file (EC804Assignmen3.pdf) for a demo on how to run.