I am trying to learn how to use Tetramax as a fault simulator. I want to learn how to use it on a simple sequential circuit like s27, the Verilog code can be found here... https://web.archive.org/web/20071120021748/http://www.fm.vslib.cz/~kes/asic/iscas/s27/s27.v The s27 circuit should have 27 fault sites and therefore 54 different faults. But when I use the command add_faults -all in Tetramax it only comes up with 34 faults. Is there a way to find out what faults are missing and then add them to the fault list?
Also, is there a way to make the flip-flops in the s27 circuit part of a scan chain?
One last question, how would I set up with .spf file?
The scan chain need to be inserted by a Dft engine (generally include in synthesis tool).
In the atpg tool, you could list all the fault and you could analyze which faults have not been reported by tetramax.
The fault list are created based on the STD cell model.