User guide

21-72
OpenVera Native Testbench
#10 dat = 0;
#10 dat = 1;
#10 dat = 1;
#10 dat = 0;
#10 dat = 0;
#10 dat = 0;
$finish;
end
initial begin
#2 syn = 0;
#10 syn = 1;
#10 syn = 0;
end
initial $monitor( "vcs: clk=%b dat=%b syn=%b time=%0d", clk,
dat, syn, $time);
endmodule
//OpenVera
#include <assertion.vrh>
program test_ntb
{
AssertEngine Eng = new();
integer nCycGbl = 0;
fork
AssertListener( "test.t1.ck1");
AssertListener( "test.t1.ck2");
AssertListener( "test.t1.ck3");
join none
DoCycles();
}
task
AssertListener(string tAsrt)
{
Assertion Ast = Eng.GetAssert(tAsrt);
AssertEvent Event = new( ASSERT_ALL );
integer EventType;