| <h3 id='___verify_state'>verify_state</h3> | |
| <pre>GOF Formal only. Verify if a sequence exists to set the signal | |
| <b>Usage:</b> my $status = verify_state(@sig_seq, @options); | |
| @sig_seq: Signals and its value | |
| @options: | |
| -help: Print this info | |
| -or: The signals are 'or' relationship, default 'and' relationship | |
| -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 one instance input A can be set to 0, dump to VCD file dump_seq.vcd | |
| verify_state("u_spi/U10/A:0", "-vcd", "dump_seq.vcd"); | |
| </pre> |