Implementation of Test Pattern Generation algorithm in python based upon path sensitization.
python3 main.py
- Circuit File circuit.txt
- Fault Location (Any node in the circuit)
- Fault Type (Stuck at 0 ---> SA0) OR (Stuck at 1 ---> SA1)
- The circuit will have 4 inputs - A, B, C and D. All of which are boolean type (only 0 and 1 are valid inputs)
- The circuit’s output will always be Z which is also a boolean.
- The circuit will be built using the following operations -
- AND ( & ) gate
- OR ( | ) gate
- NOT ( ~ ) gate
- XOR ( ^ ) gate
- The circuit would purely be a combinational logic.
- All internal nodes in the circuit would be named as : “net_”
- Each input ( A / B / C / D ) would be utilized only once in the circuit.
- Gates take only two inputs
- There are no fanout branches in the circuit
Test vector and expected output is printed in output.txt file.
