VERILOG2120: A “pulsestyle” or “showcancelled” declaration should not target an output terminal that has previously been used in a timing path declaration

Summary

Reliability	Security	Maintainability	Code attribute	Effort to fix	Tags

MEDIUM	-	-	Intentionality \| Logical	5min	synthesis, vscode, linter, simulation

Description

A pulsestyle or showcancelled declaration targets an output terminal that has previously been used in a timing path declaration, which is not allowed according to the SystemVerilog standard.

Noncompliant code example

module m(input a, output b);
  specify
    (a => b) = 1;
    pulsestyle_ondetect b; // Noncompliant
  endspecify
endmodule

Parameters

No parameters.