File size: 595 Bytes
a69d692 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 |
<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> |