Synxtax checker problem with property
Status: Beta
Brought to you by:
mballance
Dear SVEditor developers,
I have the following property in SV.
The syntax checker of SVEditor says that there is something wrong. See picture.
However, the code is compilable and it works.
It says something about the parenthesis.(see picture attached)
property AR_legal_wrap_burst_p; disable iff(!AXI_RESETn) ARVALID && ARBURST==XBURSTTYPE_WRAP |-> (ARADDR % (1 << ARSIZE) =='0) && (({1'b0,ARLEN}+9'd1) inside {5'd2,5'd4,5'd8,5'd16}); endproperty
Maybe, there is a workaround or other way to write this using less parenthesis.