Issue #726
Support enum type checking lint checks
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