VERILOG2073: System timing check parameters should always be positive

Summary

Count: 1

Clear filters

Reliability	Security	Maintainability	Code attribute	Effort to fix	Tags
HIGH	-	-	Intentionality | Logical	10min	synthesis, vscode, linter, simulation

Description

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.