# VERILOG2073: System timing check parameters should always be positive ## Summary ```{raw} html

Count: 1

ReliabilitySecurityMaintainabilityCode attributeEffort to fixTags
HIGH--Intentionality | Logical10minsynthesis, vscode, linter, simulation
``` ## Description ```{raw} html

System timing check parameters should always be positive.

Noncompliant code example

module fly(input a, b);
  specify
    $setup(posedge a, b, -1);
  endspecify
endmodule

Compliant solution

module fly(input a, b);
  specify
    $setup(posedge a, b, 1);
  endspecify
endmodule
``` ## Parameters No parameters. ```{raw} html ```