SAT-based Fault Classifier is based on generalized miter which basic principles are described in pdf.
Fault classifier properties
Fault classifier component references
- Netlist formats supported: BENCH (+ modified benech with 4LUT elements)
- Computes fault secure and self testing parameters for stuck-at and bit-flip fault models
- Generates report with classification of particular faults
- Print statistics (or log in .csv)