財產不適用於QuestaSim的案例聲明10.4B

Question

我想直接從SystemVerilog 2012 LRM中使用case語句編寫屬性。

property p_rate_select (logic [1:0] rate); 
    case (rate) 
      2'd0 : $rose(i_ffs_rdcount == 1) |=> $fell(o_telem_fifo_ready_n); 
      2'd1 : $rose(i_ffs_rdcount == 2) |=> $fell(o_telem_fifo_ready_n); 
      2'd2 : $rose(i_ffs_rdcount == 3) |=> $fell(o_telem_fifo_ready_n); 
      2'd3 : $rose(i_ffs_rdcount == 4) |=> $fell(o_telem_fifo_ready_n); 
     default : 0; 
    endcase 
endproperty 

使用QuestaSim 10.4B，我得到以下錯誤：

** Error: (vlog-13069) checker.sv(196): near "case": syntax error, unexpected case, expecting disable.

是不是與此版本Questasim支持case語句？

Answer 1

您需要Questa 10.4e或更新版本。