In reply to shalom:
Thanks. Is this “It is possible for an enum to have a value that is not in the value set.” somewhere explicitly mentioned in the 1800-2012 standard? Do you know if the current versions of Modelsim and NCsim honor the standard in this aspect? I am asking because we just had an issue where the simulator set the initial default value of the enum not to 'x but to the leftmost constant in the enums value set.
If the enums value is not in the value set, doesn’t this change the type of the enum, since the value set defines the type?