VERILOG2130: The type of a case item expression that does not match the type of the case condition expression should be fixed

Summary

Count: 1

ReliabilitySecurityMaintainabilityCode attributeEffort to fixTags
HIGH--Intentionality | Logical10minsynthesis, vscode, linter, simulation

Description

The type of a case item expression that does not match the type of the case condition expression often indicates a coding error.

Noncompliant code example

module m;
  enum {A, B} e;
  enum {C, D} f;
  initial begin
    case (e)
      C: ;
    endcase
  end
endmodule

Compliant solution

module m;
  enum {A, B} e;
  enum {C, D} f;
  initial begin
    case (e)
      A: ;
    endcase
  end
endmodule

Parameters

No parameters.