Могу ли я привязать контролер к модулю внутри другого модуля?

Question

Я новичок в SVA.Я пытаюсь привязать контролер к модулю dut внутри модуля.Законно ли это делать?

checker cx1 (event e1, input logic i1,i2);
    ...
endchecker: cx1

module dut(input clk,i1, output reg i2);
 ...
endmodule: dut

module top();
 logic clk = 0;
 logic i1, i2;
 initial forever #5 clk=!clk;
 initial begin
  i1 = 0;
  #20 i1 = 1;
  #20 i1 = 0;
 end
bind dut cx1 bind_dut_checker(.i1(i1), .i2(i2), .e1(posedge clk));
endmodule: top