system verilog 之assert

##variable：

•  正常情况写 ##5，##后跟常数数字
•  需要用到变量的延时可以这么写

property time_wait;
	int cnt=limit;
    @(posedge clk) $rose(a) |-> (cnt>0, cnt--)[*] ##1 cnt==0;
endproperty

assert property (time_wait);

//直接写 ##variable,报错：
// ##后需要跟常量
The use of a non-constant expression is not allowed in properties, sequences and assertions for cases such as delay and repetition ranges.
Please replace the offending expression by an elaboration-time constant.

---