EDA.org Mantis
Mantis Bugtracker
Main | My View | View Issues | Docs | Wiki
  

Viewing Issue Simple Details [ Jump to Notes ] [ Wiki ] [ View Advanced ] [ Issue History ] [ Print ]
ID Category Severity Date Submitted Last Update
0000957 [SystemVerilog P1800] SV-BC minor 2005-11-08 02:28 2008-06-02 23:32
Reporter shalom View Status public  
Assigned To
Priority normal Resolution open  
Status new   Product Version
Summary 0000957: "default initial value" unclearness
Description 4.10.4.3 and 4.10.4.4 say that "If the given value is not a member of the enumeration, the next()/prev() method returns the default initial value for the enumeration."

At this point in the LRM, "default initial value" has not yet been defined. There should be a reference to Table 6-1.

Further, the phrase "default initial value for the enumeration" is not quite correct. For example, the enumeration may be a net and not a variable. A more accurate, though more wordy, formulation is something like "default initial value for a variable of the enumeration base type, as specified in Table 6-1".


Also, the phrase "default uninitialized value" appears twice, in 5.3 and in 8.18. Is this intended to be the same as "default initial value"?
Additional Information
Tags No tags attached.
Type Errata
Attached Files htm file icon Mantis 957.htm [^] (54,318 bytes) 2006-07-24 03:51

- Relationships

-  Notes
User avatar (0002000)
shalom (manager)
2005-11-08 05:56

 Similarly, the mentions of "default initial value" in 4.11 and 5.6.1 should also reference Table 6-1.
User avatar (0002841)
Dave Rich (manager)
2006-08-11 23:35

 From July 31,2006 meeting

  Dave will take this over and combine tables 5-1 and 6-1 into a single
  table in clause 4.

- Issue History
Date Modified Username Field Change
2005-11-08 02:28 shalom New Issue
2005-11-08 02:28 shalom Type => Errata
2005-11-08 05:56 shalom Note Added: 0002000
2006-06-20 04:23 shalom Status new => assigned
2006-06-20 04:23 shalom Assigned To => shalom
2006-07-24 03:51 shalom File Added: Mantis 957.htm
2006-07-24 03:52 shalom Priority normal => immediate
2006-08-11 23:33 Dave Rich Assigned To shalom => Dave Rich
2006-08-11 23:35 Dave Rich Note Added: 0002841
2006-08-14 15:11 Brad Pierce Priority immediate => normal
2008-06-02 23:32 shalom Assigned To Dave Rich =>
2008-06-02 23:32 shalom Status assigned => new
2008-06-02 23:34 shalom Issue Monitored: shalom

Mantis 1.1.7[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker