Finding all test vectors for a single stuck-at fault
Hi,
How can we find all test vectors for a given stuck-at faults? One way is ofcourse, exhaustive verilog simulation wih all possible input vectors. But that quickly becomes impracticalas the number of input pins increase. I want to find all the test vectors corresponding to a stuck-at fault in a 32-bit adder, say for example. Reason is that if I ...