A1:assert property(@(posedge clk) rose(start) |-> !error[*1:] intersect ##[1:100] $rose(done))
These approach is correct?..