Er ncverilog støtte "lokale variable" i propert

[donald007]

Hej alle,
Jeg forsøger at skrive en SVA at se en grænseflade på en IP.
Men jeg får en Kompileringsfejl i linjen "logik [10:0] v_page_adr".

Jeg bruger "ncverilog sv".
Kender du ncverilog støtte "lokale variable"?Tak.

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

 

[aji_vlsi]

donald007 skrev:

Hej alle,

Jeg forsøger at skrive en SVA at se en grænseflade på en IP.

Men jeg får en Kompileringsfejl i linjen "logik [10:0] v_page_adr".Jeg bruger "ncverilog sv".

Kender du ncverilog støtte "lokale variable"?
Tak.ejendom p_linkpg;

logik [10:0] v_page_adr;

@ (posedge clk)

A | -> B;

endproperty