title: How to use an input value with repetition operator?
body: <p>How I can use a design input with the repetition operator in a SV assertion?
  Basically, what I'm trying to implement is:</p>
  <pre><code>property ( ( disable iff((a) or (b) or (c) or (d))
            $rose(req) |-&gt; req[*32] 
  </code></pre>
  <p>I'm trying to replace the <code>32</code> with <em>t_req</em>, which is an input to the design module and can be changed by the user.</p>
  <p>Is there any way to make the assertion dynamic so that the value <em>32</em> is not hardcoded?</p>