donald007
Newbie level 6
Hi all,
I am trying writing a SVA to check one interface on a IP.
But I get a compile error in the line "logic [10:0] v_page_adr;".
I use "ncverilog +sv".
Do you know ncverilog support "local variable"? Thanks.
property p_linkpg;
logic [10:0] v_page_adr;
@(posedge clk)
A |-> B;
endproperty
I am trying writing a SVA to check one interface on a IP.
But I get a compile error in the line "logic [10:0] v_page_adr;".
I use "ncverilog +sv".
Do you know ncverilog support "local variable"? Thanks.
property p_linkpg;
logic [10:0] v_page_adr;
@(posedge clk)
A |-> B;
endproperty