# VERILOG2120: A "pulsestyle" or "showcancelled" declaration should not target an output terminal that has previously been used in a timing path declaration ## Summary ```{raw} html

Count: 1

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

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. ```{raw} html ```