title: Meaning of [->1] in system verilog property definition
body: <p>I haven't been able to find the meaning of the <code>[-&gt;]</code> expression. I am familiar with using ranges as <code>[a:b]</code> or sequences such as <code>EVENT1|-&gt;EVENT2</code>, but not with the one I mentioned at the beginning.</p>
  
  <p>The context is an assert property that ensures that clk1 is always toggling when reset is low. </p>
  
  <pre><code>@(clk2) disable iff(rst) !$stable(clk1)[-&gt;1];
  </code></pre>
  
  <p>Any idea on what <code>[-&gt;]</code> really means?</p>
  
  <p>Thanks in advance!</p>