Why is this an issue?

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

How to fix it

Code examples

Noncompliant code example

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