![]() |
Accellera SV-EC Technical Committee | ![]() |
||||||||
Errata | ||||||||||
Status Key: Open Assigned Proposed Accepted Closed Rejected Transferred Deferred Withdrawen | ||||||||||
Home | ID | Creator | Owner | Description | Discussions | Resolution | Status | |||
Meeting Schedule | ERR-1 | Dave Rich | Dave Rich | Resolve contradiction in C handle garbage collection | Table 11-1. Change yes to no on garbage collection | LRM-1 | Closed | |||
Meeting Minutes | ||||||||||
3.1a Working Documents | ERR-2 | Arturo Salz | Arturo Salz | Fix "The LRM says that the endianness of arr[N] is N-1 downto 0". LRM says: integer a[10]; is equivalent to: integer a[9:0]; but this is in conflict with both Vera and C. Is the LRM in error? I think integer a[0:9] makes more sense. | The correct equivalence is: a[0:9]. In fact, strings already specify that same indexing notation since str[0] returns the leftmost (or first) character. | LRM-4 | Closed | |||
Action Items | ||||||||||
Extensions | ||||||||||
Errata | ||||||||||
Other Committees Requests | ||||||||||
Published Documents | ERR-3 | Tom Fitzpatrick | Tom F. | Fix: "Just like implication, if...else style constraints are bidirectional. In the declaration above, the value of mode constraints the value of len, and the value of len constrains the value of mode." | Section 12.4.6 change constraints to constrains. | LRM-2 | Closed | |||
SystemVerilog 3.1 LRM | ||||||||||
SystemVerilog 3.1 BNF | ||||||||||
SystemVerilog 3.0 LRM | ||||||||||
ERR-4 | Dave Rich | Arturo Salz | Lifetime of automatic variables in fork/join_none | See Email | Proposal | Closed | ||||
Email Archives | Update | |||||||||
Current Members | ERR-5 | Arturo Salz | Arturo Salz | Add explanation that built-in classes can be redefined and to distinguish from built-in types in 13.1. Add discussion of built-in global namespace. | See Email | LRM-23 | Closed | |||
Proposal update 18 Nov 2003 | LRM-95 | |||||||||
Operating Guidelines | Proposal update 23 Nov 2003 | |||||||||
Committee Mission | ERR-6 | David Smith | David Smith | The inside operator should be available in more than just constraints | See Email | LRM-16 | Closed | |||
Goals/Objectives | ||||||||||
Process | ERR-7 | Jonathan Bromley | Brad Pierce | Parameterized class issue | See Email | LRM-34 | Closed | |||
Donation/Proposal | See Proposal | |||||||||
Errata | ERR-8 | Dave Rich | Dave Rich | Using event control with methods | Proposal | Closed | ||||
Voting Structure | ERR-9 | Kausuk Datta | Brad Pierce | Redundant non-terminals packed_dimension and range | See Email | Proposal | Closed | |||
Voting Rules | Correction | |||||||||
Milestones | ERR-10 | Jamie LaFlamme | David Smith | Inappropriate use of named in automatic definition. | See attached | LRM-19 | Closed | |||
Deliverables | ERR-11 | Jamie LaFlamme | David Smith | Constants should in genvars. | See attached | LRM-20 | Closed | |||
ERR-12 | Jamie LaFlamme | David Smith | Remove incorrect reference to C. | See attached | LRM-21 | Closed | ||||
SV-EC 3.1 Web | ERR-13 | Jamie LaFlamme | David Smith | Make lifetime optional in var declaration. | See attached | LRM-22 | Closed | |||
ERR-14 | Jamie LaFlamme | Brad Pierce | Why not allow initializers/non-initializer mix on declaration? | See attached | LRM-35 | Closed | ||||
See Proposal | ||||||||||
ERR-15 | Jamie LaFlamme | David Smith | Const class issue. | See attached | LUT-1 | Closed | ||||
ERR-16 | Jamie LaFlamme | Mehdi M. | Initial value of variables question | See attached | LRM-28 | Closed | ||||
ERR-17 | Jamie LaFlamme | Mehdi M. | static and automatic use on initializer | See attached | LRM-29 | Closed | ||||
ERR-18 | Jamie LaFlamme | Arturo Salz | Using automatic/dynamic variables on event expressions. | See attached | LRM-36 | Closed | ||||
See Proposal | ||||||||||
ERR-19 | Jamie LaFlamme | Brad Pierce | Automatic outside of tasks/fcns/blocks illegal? | See attached | Proposal | Closed | ||||
ERR-20 | Neil Korpusik | Arturo Salz | Fix the example in Section 9.9 based on the outcome of ERR-4 | From 15 September 2003 meeting | Proposal | Closed | ||||
ERR-21 | Neil Korpusik | Arturo Salz | Fix the example in Section 9.9 to wait on all processes to start | From 15 September 2003 meeting | Proposal | Closed | ||||
ERR-22 | Don Mills | Arturo Salz | Incomplete list in last paragraph of 13.4 | See Email | LRM-37 | Closed | ||||
See Proposal | ||||||||||
ERR-23 | Thomas Kruse | David Smith | 3.12 Class | See attached | Proposal | Closed | ||||
ERR-24 | Thomas Kruse | David Smith | 4.2 Packed and unpacked array + 4.6 Dynamic array + 4.9 Associative arrays | See attached | Response | Closed | ||||
ERR-25 | Thomas Kruse | David Smith | 5.3 Constants | See attached | Proposal | Closed | ||||
ERR-26 | Thomas Kruse | David Smith | 10.5.2 Instance | See attached | Response | Closed | ||||
ERR-27 | Thomas Kruse | David Smith | 11.3 Overview + 17.10 The property definition | See attached | Proposal | Closed | ||||
ERR-28 | Thomas Kruse | David Smith | 11.7 Constructors | See attached | Proposal | Closed | ||||
ERR-29 | Thomas Kruse | David Smith | 11.8 Class properties | See attached | Proposal | Closed | ||||
ERR-30 | Thomas Kruse | David Smith | 11.9 Static methods | See attached | Response | Closed | ||||
ERR-31 | Thomas Kruse | David Smith | 11.18 Abstract classes | See attached | Proposal | Failed/Closed | ||||
ERR-32 | Thomas Kruse | David Smith | 11.18 Abstract classes | See attached | Proposal | Closed | ||||
ERR-33 | Thomas Kruse | David Smith | 11.20 Polymorphism | See attached | Proposal | Closed | ||||
ERR-34 | Thomas Kruse | David Smith | 11.22 Out-of-block declaration | See attached | Proposal | Closed | ||||
ERR-35 | Thomas Kruse | David Smith | 12.5.2 Random Constraints | See attached | Proposal | Closed | ||||
ERR-36 | Thomas Kruse | David Smith | 13.2.1 new() (Semaphores) | See attached | Response | Closed | ||||
ERR-37 | Thomas Kruse | David Smith | 13.2.3 get() (Semaphores) | See attached | Response | Closed | ||||
ERR-38 | Thomas Kruse | David Smith | 14.2 Event simulation | See attached | Proposal | Closed | ||||
ERR-39 | Thomas Kruse | David Smith | 14.3.1 The SystemVerilog simulation reference algorithm | See attached | Proposal | Closed | ||||
ERR-40 | Thomas Kruse | David Smith | 19.5.3 An example of exporting tasks and functions | See attached | Response | Closed | ||||
ERR-41 | Dave Rich | Dave Rich | Associative array index restrictions | See Email | LRM-60 | Closed | ||||
ERR-42 | Cliff Cummings | Scheduling region questions and problems | See Issue 45 on BC site | Proposal | Closed | |||||
ERR-43 | Committee | Arturo Salz | Clarify parameter class extension of another class | See AI-25 | Proposal | Closed | ||||
ERR-44 | SV F2F | Jay L. | Proposal on consolidation of implication operators | See Email | Proposal | Closed | ||||
ERR-45 | Dave Rich | Dave Rich | Wildcard equality | See Email | Proposal | Withdrawn | ||||
ERR-46 | Dave Rich | Dave Rich | Missing ; | See Email | Proposal | Closed | ||||
ERR-47 | Arturo Salz | Brad Pierce | Keywords as identifiers | See Email | Proposal | Closed | ||||
ERR-48 | Brad Pierce | Brad Pierce | Functional Coverage errata | See Email | Proposal | Closed | ||||
ERR-49 | Brad Pierce | Brad Pierce | Randcase in BNF | See Email | Proposal | Closed | ||||
ERR-50 | Arturo Salz | Arturo Salz | Program visibility rules | See attached | Proposal | Closed | ||||
ERR-51 | Brad Pierce | Brad Pierce | Method calls and class parameter overrides | See Email | Proposal | Closed | ||||
ERR-52 | Arturo Salz | Arturo Salz | Indicate events used with coverage are immediate | See attached | Proposal | Closed | ||||
Update | ||||||||||
ERR-53 | Arturo Salz | Arturo Salz | Add BNF for virtual interface declaration usage | See minutes | Proposal | Closed | ||||
ERR-54 | Arturo Salz | Arturo Salz | Split 19.8.2 into 19.5.4 and 19.8.2 for modport usage with clocking domains | See minutes | Proposal | Closed | ||||
ERR-55 | Ray Ryan | Ray Ryan | Remove use of priority in constraint_block | See Email | Proposal | Closed | ||||
ERR-56 | David Smith | David Smith | Fix all locations in LRM of built-in package to use std:: | Proposal | Closed | |||||
Update | ||||||||||
ERR-57 | David Smith | David Smith | Create Appendix for std package | AI-19 | Proposal | Closed | ||||
Update | ||||||||||
ERR-58 | Ray Ryan | Arturo Salz | State that constraints deal with 2-state values | See Email | Proposal | Closed | ||||
ERR-59 | Brad Pierce | Brad Pierce | Undo of block_item_declaration removal | LRM-96 | Closed | |||||
ERR-60 | Brad Pierce | Brad Pierce | void' casts | See Email | Proposal | Closed | ||||
ERR-61 | Brad Pierce | Brad Pierce | expect property statement | See Email | Proposal | Closed | ||||
ERR-62 | Brad Pierce | Brad Pierce | new copy constructor not in grammar | SV-BC Issue 134 | Proposal | Closed | ||||
Update | ||||||||||
ERR-63 | Dave Rich | Dave Rich | Add block variable to automatic default | See Email | Proposal | Closed | ||||
ERR-64 | Michael Burns | Michael Burns | Ordering constraint on solver | See Email | Proposal | Closed | ||||
ERR-65 | Brad Pierce | Brad Pierce | Array method names | See Email | Proposal | Closed | ||||
ERR-67 | Brad Pierce | Brad Pierce | Function_data_type update | See Email | Proposal | Closed | ||||
ERR-68 | Brad Pierce | Brad Pierce | clocking domain erratum | See Email | Proposal | Closed | ||||
ERR-69 | Brad Pierce | Brad Pierce | Array method names | See Email | Proposal | Closed | ||||
ERR-70 | William Paulsen | Arturo Salz | Default arguments in tasks | SV-BC Issue 117 | Proposal | Closed | ||||
Propsal V2 (21 Feb 2004) | ||||||||||
ERR-71 | Dave Rich | Dave Rich | Bounded Queues | See attached | Proposal | Closed | ||||
Propsal V2 (21 Feb 2004) | ||||||||||
ERR-72 | Brad Pierce | Brad Pierce | Parameter as localparam | See attached | Proposal | Closed | ||||
ERR-73 | Brad Pierce | David Smith | Tagged examples need renamed | See attached | Proposal | Closed | ||||
ERR-74 | Dave Rich | Dave Rich | Fix LRM-193 to be more specific | See Minutes | Proposal in Minutes | Closed | ||||
ERR_75 | Ray Ryan | Ray Ryan | Remove range_list_or_array unused production | See Minutes | Proposal in Minutes | Closed | ||||
ERR-76 | Dave Rich | Dave Rich | Unpacked arrays fixed and dynamic | See Minutes | Proposal in Minutes | Closed | ||||
ERR-77 | Brad Pierce | Brad Pierce | Inside/intersect erratum | See Email | Proposal | Closed | ||||
ERR-78 | Arturo Salz | Arturo Salz | coverage event BNF erratum | See Email | Proposal | Closed | ||||
ERR-79 | Neil Korpusik | Neil Korpusik | draft 5 acknowlegement section | See Email | Proposal | Closed | ||||
ERR-80 | Brad Pierce | Brad Pierce | A few typos and editorial issues | See Email | Proposal | Closed | ||||
ERR-81 | Brad Pierce | Brad Pierce | Constaint block BNF fixes | See Email | Proposal | Closed | ||||
ERR-82 | Surrendra Dudani | Surrendra Dudani | Sequence events and expect stmt errata | See Email | Proposal | Closed | ||||
ERR-83 | Brad Pierce | Brad Pierce | Synchronous drive BNF | See Email | Proposal | Closed | ||||
ERR-84 | Surrendra Dudani | Brad Pierce | Some simple fixes | See Email | Proposal | Closed | ||||
ERR-85 | Michael Burns | Michael Burns | $fatal/$finish/$exit proposed changes | See Email | Proposal | Closed | ||||
ERR-86 | Jamie LaFlamme | Brad Pierce | class_new | See Email | Proposal in Minutes | Closed | ||||
ERR-87 | Ray Ryan | Ray Ryan | Sum of randcase weights and $urandom_range | See Minutes | Proposal in Minutes | Closed | ||||
ERR-88 | Ray Ryan | Ray Ryan | Specifying rand_mode_for packed array elements | See Minutes | Proposal in Minutes | Closed | ||||
ERR-89 | Ray Ryan | Ray Ryan | Specifying rand_mode_for packed structure members | See Minutes | Proposal in Minutes | Closed | ||||
ERR-90 | Ray Ryan | Arturo Salz | Description of query and inst_query methods | See Email | Assigned | |||||
ERR-91 | Ray Ryan | Arturo Salz | Generate erratum on 1, 3, and 6 response to Ray's email | See Email | Assigned | |||||
ERR-92 | Ray Ryan | Ray Ryan | Add rs_rule precedence and example in Section 12.16 | See Email | Assigned | |||||
ERR-93 | Ray Ryan | Ray Ryan | Randsequence grammar issues | See Email | Proposal | Accepted | ||||
ERR-94 | Dave Rich | Dave Rich | Erratum Queue Methods | See Email | Proposal | Accepted | ||||
ERR-95 | Ray Ryan | Ray Ryan | Typo in 12.16.7 | See Email | Proposal | Accepted |