使用.first枚举方法的localparam枚举的初始值

Question

IEEE 1800-2012的第6.19.5.7节显示了以下用于指定枚举变量初始值的示例：

typedef enum { red, green, blue, yellow } Colors;
Colors c = c.first;

不应允许以下任何原因？ （我从某些工具中获得了混合结果。）

localparam Colors c_localparam = c_localparam.first;

Answer 1

这适用于Modelsim / Questa。除了有人忘了把它写下来之外别无选择。

LRM在可用作常量函数的方法列表中并非详尽无遗。已提交的标准的下一次修订存在未决问题。