Project

General

Profile

[logo] 
 
Home
News
Activity
About/Contact
Major Tools
  Dinotrace
  Verilator
  Verilog-mode
  Verilog-Perl
Other Tools
  BugVise
  CovVise
  Force-Gate-Sim
  Gspice
  IPC::Locker
  Rsvn
  SVN::S4
  Voneline
  WFH
General Info
  Papers

Issue #726

Support enum type checking lint checks

Added by Jeff Bush about 5 years ago. Updated about 5 years ago.

Status:
Feature
Priority:
Normal
Assignee:
-
Category:
Lint
% Done:

0%


Description

Pretty much any signal with the proper width can be assigned to an enum.
    typedef enum logic[1:0] {
        FOO_A,
        FOO_B,
        FOO_C,
        FOO_D
    } foo_t;

    foo_t foo;

    always_comb
    begin
        foo = 2'd2;
    end

There should be an error if it is assigned without an explicit cast.

History

#1 Updated by Wilson Snyder about 5 years ago

  • Category set to Lint
  • Status changed from New to Feature

Yes, Verilator is weak to almost non-existent in type checks. Needs work.

Also available in: Atom