SV中，checker声明在哪里

在SV中，checker声明可以在module或interface中声明。它可以用于检查输入和输出信号是否满足某些条件，并在检查失败时发出警告或错误消息。 例如：

module my_module(input logic [7:0] data_in, output logic [7:0] data_out);
  checker check_data {
    // 检查输入是否为偶数
    if (data_in % 2 != 0) {
      $warning("Input data is not even");
    }
    // 检查输出是否等于输入的平方
    if (data_out != data_in * data_in) {
      $error("Output data is not equal to input squared");
    }
  }
  // ...
endmodule