ISCAS-85 Netlist is parsed and a dictionary is generated. The following tasks have been performed:
Simulating circuit for various timing models specified:
- Transport delay
- Multiple delay
- Min-Max delay
- Forming a list of all faults.
- Obtaining collapsed faults using equivalence and dominant fault collapsing.
- Parallel and Deductive Fault Simulation.
- SCOAP Controllability and Observability.
Test Vectors generated for a combinational circuit. Supports only two-input gates.