Issue #726: Support enum type checking lint checks - Verilator - Veripool

Major Tools

Other Tools

Rsvn

WFH

General Info

Issue #726

Support enum type checking lint checks

Added by Jeff Bush almost 5 years ago. Updated almost 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 almost 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