Does ncverilog support "local variable" in propert

[donald007]

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

 

[aji_vlsi]

Re: Does ncverilog support "local variable" in pro

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

WIll be surprised if it didn't in latest release(s), which version do you use? ncsim -version??

Also consider posting at cdnusers.org

Ajeetha, CVC
www.noveldv.com