| <h3 id='___verify_faults'>verify_faults</h3> | |
| <pre>GOF Formal only. Verify fault in stuck-0 or stuck-1 mode | |
| <b>Usage:</b> my $status = verify_faults($one_fault, @options); | |
| $one_fault: Optional, to test one fault only | |
| @options: | |
| -help: Print this info | |
| -rough: Calculate SPFM/LFM only by structural COI analysis | |
| -full: Run full formal process in calculating SPFM/LFM | |
| -vcd vcd_file_name: Dump the sequence to the VCD file when $one_fault is defined | |
| $status: Return 1 if a sequence exists | |
| <b>Examples:</b> | |
| #1. Check all fault in the whole design | |
| verify_faults("-full"); | |
| #2. Check one fault stuck-0 and dump the sequence to the VCD file | |
| verify_faults("u_master/U12/Y:0", "-vcd", "seq_u12.vcd"); | |
| </pre> |