Apppublic

gofeco/support

sourceHugging Faceapache-2.0updated 2y agoView on Hugging Face

0likes

rootsrc_enapi.verify_faults.txt

api.verify_faults.txt20 linesDownload Raw Back to src_en

1<h3 id='___verify_faults'>verify_faults</h3>2<pre>GOF Formal only. Verify fault in stuck-0 or stuck-1 mode3<b>Usage:</b> my $status = verify_faults($one_fault, @options);4$one_fault: Optional, to test one fault only 5@options:6   -help: Print this info7   -rough: Calculate SPFM/LFM only by structural COI analysis8   -full: Run full formal process in calculating SPFM/LFM9   -vcd vcd_file_name: Dump the sequence to the VCD file when $one_fault is defined10$status: Return 1 if a sequence exists11 12<b>Examples:</b>13 14#1. Check all fault in the whole design15verify_faults("-full");16 17#2. Check one fault stuck-0 and dump the sequence to the VCD file18verify_faults("u_master/U12/Y:0", "-vcd", "seq_u12.vcd");19 20</pre>