Má ncverilog podporu "lokální proměnná" v Vlastnost

[donald007]

Zdravím všechny,
Snažím se psát SVA zkontrolovat jedno rozhraní na IP.
Ale já si sestavit chyba v řádku "logika [10:0] v_page_adr;".

I use "ncverilog sv."
Víte, ncverilog podporu "lokální proměnná"?Díky.

p_linkpg majetku;
logika [10:0] v_page_adr;
@ (posedge CLK)
| -> B;
endproperty

 

[aji_vlsi]

donald007 napsal:

Zdravím všechny,

Snažím se psát SVA zkontrolovat jedno rozhraní na IP.

Ale já si sestavit chyba v řádku "logika [10:0] v_page_adr;".I use "ncverilog sv."

Víte, ncverilog podporu "lokální proměnná"?
Díky.p_linkpg majetku;

logika [10:0] v_page_adr;

@ (posedge CLK)

| -> B;

endproperty