User guide

21-74
OpenVera Native Testbench
event dk2 : if (syn == 1) then #2 dsyn ;
event dk3 : if (syn == 1) then #3 dsyn ;
}
assert ck1: check(dk1);
assert ck2: check(dk2);
assert ck3: check(dk3);
endunit //}
bind instances test : test_u t1(clk,dat,syn);
Running OpenVera Testbench with OVA
Compilation:
vcs ov_options_&_ov_files design_files_&_vcs_options
ova_files_ova_options
Assume that “design.v” is the DUT, “test.vr” is the OpenVera code
containing assertion class, and the ova file is “checker.ova.”
Example 21-9
% vcs -ntb test.vr design.v checker.ova
Simulation:
% simv runtime_ova_options runtime_NTB_ option
% simv
Running OpenVera Testbench with SVA
Compilation:
% vcs ov_options_&_ov_files sva_files_sva_options +sysvcs