title: Can I use bind inside generate block
body: <p>I've a simple assertion:
   Lets say </p>
  
  <pre><code>assert @(posedge clk) (a |=&gt; b);
  </code></pre>
  
  <p>I generally connect it with design signals using separate binding module </p>
  
  <pre><code>module bind_module;
    bind dut assertion a1 (.*);
   endmodule
  </code></pre>
  
  <p>I've a situation: dut has a bus of 45bits, each bit is generated / driven individually but all of them follow same assertion.</p>
  
  <p>Can I use bind statement inside generate block? (for a range of 0 to 44) and then instead of .* use <code>.a (in_bus[i]), .b (out_bus[i])</code> </p>