VERILOG2003: Unused assertion declarations (sequence, property or let) should be removed

Summary

Count: 1

Clear filters

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

Description

Noncompliant code example

module m;
  sequence s; // Noncompliant: 's' is not used
    1;
  endsequence
endmodule

Unused assertion declarations (sequence, property or let) should be removed.

Parameters

No parameters.