Is ncverilog ondersteuning "lokale variabele in propert

[donald007]

Hi all,
Ik probeer het schrijven van een SVA om een interface te controleren op een IP.
Maar ik krijg een fout compileren in de lijn "logica [10:0] v_page_adr;".

Ik gebruik "ncverilog sv '.
Weet u ncverilog ondersteuning "lokale variabele"?Bedankt.

eigendom p_linkpg;
logica [10:0] v_page_adr;
@ (posedge clk)
A | -> B;
endproperty

 

[aji_vlsi]

donald007 wrote:

Hi all,

Ik probeer het schrijven van een SVA om een interface te controleren op een IP.

Maar ik krijg een fout compileren in de lijn "logica [10:0] v_page_adr;".Ik gebruik "ncverilog sv '.

Weet u ncverilog ondersteuning "lokale variabele"?
Bedankt.eigendom p_linkpg;

logica [10:0] v_page_adr;

@ (posedge clk)

A | -> B;

endproperty