![]() |
Accellera SystemVerilog Technical Committees | ![]() |
||||||||
3.1a LRM draft 5 Changes | ||||||||||
Status Key: Proposed -> Accepted -> Verified -> Closed Withdrawn | ||||||||||
Charter | ID | Owner | Committee | Description | Email link | LRM Ver. | Change | Status | ||
Organization | LRM-201 | Dave Rich | SV-EC | Fix LRM-193 to be more specific | ERR-74 | LRM Draft 4 | Section 5.5 | Verified 20 February 2004 | ||
3.1 LRM draft 5 Changes | LRM-202 | Ray Ryan | SV-EC | Remove range_list_or_array unused production | ERR-75 | LRM Draft 4 | Section A.8.3 | Verified 25 February 2004 | ||
3.1 LRM draft 4 Changes | LRM-203 | Dave Rich | SV-EC | Unpacked arrays fixed and dynamic | ERR-76 | LRM Draft 4 | Section 4.1 | Verified 24 February 2004 | ||
3.1 LRM draft 3 Changes | Section 4.2 | |||||||||
3.1 LRM draft 2 Changes | Section 4.6 | |||||||||
3.1 LRM draft 1 Changes | LRM-204 | David Smith | SV Chairs | Rewrite Section 1 for accuracy and readability | LRM Draft 4 | Section 1 | Verified 24 February 2004 | |||
Approved Standards | LRM-205 | David Smith | SV-BC | Clarify import statement | SV-BC Email | LRM Draft 4 | Section 18.2.1 | Verified 24 February 2004 | ||
Additional Links | LRM-206 | Brad Pierce | SV-EC | randomize with () BNF (WITHDRAWN) | SV-EC Email | LRM Draft 4 | Section 8.3 | Withdrawn | ||
Committee Membership | Section 12.6 | |||||||||
Section A.6.2 | ||||||||||
LRM-207 | Jamie LaFlamme | SV-EC | Missing ; in package_declaration | SV-EC Email | LRM Draft 4 | Section 18.2 | Verified 24 February 2004 | |||
Section A.1.3 | ||||||||||
LRM-208 | Brad Pierce | SV-AC | Assertions BNF errata and proposal | SV-AC Email | LRM Draft 4 | Section 17.5 | Verified 19 February 2004 | |||
Section 17.6 | ||||||||||
Section 17.7.7 | ||||||||||
Section 17.7.8 | ||||||||||
Section 17.7.10 | ||||||||||
Section 17.11 | ||||||||||
Section A.2.10 | ||||||||||
LRM-209 | Surrendra Dudani | SV-AC | Change [*-> to [-> and [*= to [= | SV-AC Email | LRM Draft 4 | Section 17.5 | Verified 25 February 2004 | |||
Section 17.7.1 | ||||||||||
Section 17.7.2 | ||||||||||
Section 17.7.8 | ||||||||||
Section 17.9 | ||||||||||
Section 17.11 | ||||||||||
Section 17.12.5 | ||||||||||
Section 20.4.1 | ||||||||||
Section 31.35 | ||||||||||
Section H.2.3.4 | ||||||||||
Section H.4.1 | ||||||||||
Section H.4.2 | ||||||||||
Section I | ||||||||||
LRM-210 | Surrendra Dudani | SV-AC | Errata ac-err-13 | SV-AC Email | LRM Draft 4 | Section 17.4 | Verified 25 February 2004 | |||
Section 17.7.4 | ||||||||||
Section 17.7.5 | ||||||||||
Section 17.13.4 | ||||||||||
LRM-211 | John Havlicek | SV-AC | erratum-g1.doc | SV-AC Email | LRM Draft 4 | Section 17.6 | Verified 27 February 2004 | |||
Section 17.12 | ||||||||||
Section 17.12.1 | ||||||||||
Section 17.12.3 | ||||||||||
Section A.2.10 | ||||||||||
Section H.2.1 | ||||||||||
Section H.2.3.1 | ||||||||||
Section H.3.1 | ||||||||||
LRM-212 | Michael Burns | SV-EC | Possible errata in 17.7.11 | SV-AC Email | LRM Draft 4 | Section 17.7.11 | Verified 24 February 2004 | |||
LRM-213 | Rishiyur S. Nikhil | SV-BC | Section 3 review | SV-BC Email | LRM Draft 4 | Section 3.1 | Verified 20 February 2004 | |||
Section 3.2 | ||||||||||
Section 3.3 | ||||||||||
Section 3.5 | ||||||||||
Section 3.7 | ||||||||||
Section 3.7.9 | ||||||||||
Section 3.7.10 | ||||||||||
Section 3.9 | ||||||||||
Section 3.10 | ||||||||||
Section 3.10.2 | ||||||||||
Section 3.10.4 | ||||||||||
Section 3.10.5 | ||||||||||
Section 3.10.5.1 | ||||||||||
Section 3.10.5.2 | ||||||||||
Section 3.11 | ||||||||||
Section 3.12 | ||||||||||
Section 3.13 | ||||||||||
LRM-214 | Rishiyur S. Nikhil | SV-BC | Section 3 review Addendum | SV-BC Email | LRM Draft 4 | Section 3.14 | Verified 27 February 2004 | |||
LRM-215 | Dave Rich | SV-BC | LRM-169 missing {}'s | SV-BC Email | LRM Draft 4 | Section 2.8 | Verified 20 February 2004 | |||
LRM-216 | Jamie LaFlamme | SV-BC | Typo in A.1.3 | SV-BC Email | LRM Draft 4 | Section 3.12 | Verified 24 February 2004 | |||
Section 11.2 | ||||||||||
Section A.1.3 | ||||||||||
LRM-217 | Doug Warmke | SV-CC | DPI Errata list | SV-CC Email | LRM Draft 4 | Section 27.4.5 | Verified 24 February 2004 | |||
Section E.6.4 | ||||||||||
Section E.7.9 | ||||||||||
LRM-218 | Michael Rohleder | SV-CC | Review of draft 4, Person E | SV-CC Email | LRM Draft 4 | Section 18.8 | Verified 20 February 2004 | |||
Section 25.2 | ||||||||||
LRM-219 | Rishiyur S. Nikhil | SV-BC | Typo to be fixed in LRM | SV-BC Email | LRM Draft 4 | Section 15.2 | Verified 20 February 2004 | |||
LRM-220 | Brad Pierce | SV-BC | Typos in Section 19 | SV-BC Email | LRM Draft 4 | Section 19.2.3 | Verified 19 February 2004 | |||
Section 19.4 | ||||||||||
Section 19.4.1 | ||||||||||
LRM-221 | Jamie LaFlamme | SV-BC | task_port_list | SV-BC Email | LRM Draft 4 | Section 10.2 | Verified 24 February 2004 | |||
LRM-222 | Matthew Maidment | SV-BC | Review Items for Chapter 7 | SV-BC Email | LRM Draft 4 | Section 7.11 | Verified 19 February 2004 | |||
Section 7.13 | ||||||||||
Section 7.14 | ||||||||||
Section 7.15 | ||||||||||
Section 7.18 | ||||||||||
LRM-223 | Brad Pierce | SV-BC | const keyword on automatic variables | SV-BC Email | LRM Draft 4 | Section 5.3 | Verified 19 February 2004 | |||
LRM-224 | Mark Hartoog | SV-BC | LRM review ch 18 | SV-BC Email | LRM Draft 4 | Section 18.1 | Verified 25 February 2004 | |||
Section 18.2 | ||||||||||
Section 18.13 | ||||||||||
Section 18.14 | ||||||||||
LRM-225 | Brad Pierce | SV-BC | Possible erratum about localparam | SV-BC Email | LRM Draft 4 | Section 5.3 | Verified 19 February 2004 | |||
LRM-226 | Brad Pierce | SV-BC | Review of LRM Section 10 | SV-BC Email | LRM Draft 4 | Section 10.3 | Verified 19 February 2004 | |||
Section 10.3.1 | ||||||||||
Section 10.4.1 | ||||||||||
Section 10.4.2 | ||||||||||
Section 10.4.4 | ||||||||||
LRM-227 | Brad Pierce | SV-BC | Parameters with unpacked dimensions (BNF) | SV-BC Email | LRM Draft 4 | Section 21.2 | Verified 19 February 2004 | |||
Section A.2.4 | ||||||||||
LRM-228 | Dave Rich | SV-BC | undefined terminology in section 7.19 | SV-BC Email | LRM Draft 4 | Section 7.19 | Verified 20 February 2004 | |||
LRM-229 | Ray Ryan | SV-EC | Section 20 errata | SV-EC Email | LRM Draft 4 | Section 20.2 | Verified 25 February 2004 | |||
Section 20.4.1 | ||||||||||
Section 20.5 | ||||||||||
Section 20.6 | ||||||||||
Section 20.6.1 | ||||||||||
Section A.2.11 | ||||||||||
LRM-230 | Brad Pierce | SV-BC | Inconsistent use of bold in keywords | LRM Draft 4 | Section B | Verified 19 February 2004 | ||||
LRM-231 | Surrendra Dudani | SV-AC | Errata 16 | SV-AC Email | LRM Draft 4 | Section 17.10 | Verified 25 February 2004 | |||
Section 23.10 | ||||||||||
LRM-232 | Peter Flake | SV-BC | Array signing clarification | SV-BC No. 174 | LRM Draft 4 | Section 4.2 | Verified 25 February 2004 | |||
LRM-233 | Francoise Martinolle | SV-BC | import p* | SV-BC No. 175 | LRM Draft 4 | Section 18.3 | Verified 27 February 2004 by David Smith | |||
LRM-234 | David Smith | ALL | Index items to add | Various | LRM Draft 4 | Section Index | Verified 24 February 2004 | |||
LRM-235 | David Smith | ALL | Glossary items | Various | LRM Draft 4 | Section Glossary | Verified 24 February 2004 | |||
LRM-236 | Brad Pierce | SV-BC | Notes suggests informative only | LRM Draft 4 | Section A.10 | Verified 19 February 2004 | ||||
LRM-237 | Arturo Salz | SV-BC | Result type of string indexing | SV-BC Email | LRM Draft 4 | Section 3.7.3 | Verified 19 February 2004 | |||
LRM-238 | Surrendra Dudani | SV-AC | Errata ac-err-14.1 | SV-AC Email | LRM Draft 4 | Section 17.1 | Verified 25 February 2004 | |||
Section 17.2 | ||||||||||
Section 17.3 | ||||||||||
Section 17.4 | ||||||||||
Section 17.4.1 | ||||||||||
Section 17.4.3 | ||||||||||
Section 17.5 | ||||||||||
Section 17.6 | ||||||||||
Section 17.7.1 | ||||||||||
Section 17.7.2 | ||||||||||
Section 17.7.3 | ||||||||||
Section 17.7.4 | ||||||||||
Section 17.7.5 | ||||||||||
Section 17.7.6 | ||||||||||
Section 17.7.7 | ||||||||||
Section 17.7.8 | ||||||||||
Section 17.7.9 | ||||||||||
Section 17.7.10 | ||||||||||
Section 17.7.11 | ||||||||||
Section 17.8 | ||||||||||
Section 17.10 | ||||||||||
Section 17.11 | ||||||||||
Section 17.11.1 | ||||||||||
Section 17.12 | ||||||||||
Section 17.12.1 | ||||||||||
Section 17.12.2 | ||||||||||
Section 17.12.3 | ||||||||||
Section 17.12.4 | ||||||||||
Section 17.12.5 | ||||||||||
Section 17.14 | ||||||||||
Section 17.14.1 | ||||||||||
Section H.2.1 | ||||||||||
Section H.2.3.1 | ||||||||||
Section H.3.1 | ||||||||||
LRM-239 | Brad Pierce | SV-AC | Erratum in a 17.15 example | SV-AC Email | LRM Draft 4 | Section 17.14 | Verified 19 February 2004 | |||
LRM-240 | Brad Pierce | SV-AC | Concurrent assertions BNF PROPOSAL | SV-AC Email | LRM Draft 4 | Section 8.2 | Verified 19 February 2004 | |||
Section 17.2 | ||||||||||
Section 17.6 | ||||||||||
Section 17.11 | ||||||||||
Section 17.13 | ||||||||||
Section 17.13.2 | ||||||||||
Section 17.13.4 | ||||||||||
Section 17.13.5 | ||||||||||
Section 17.15 | ||||||||||
Section 18.2 | ||||||||||
Section A.1.10 | ||||||||||
Section A.2.10 | ||||||||||
Section A.6.4 | ||||||||||
Section A.6.10 | ||||||||||
LRM-241 | Brad Pierce | SV-BC | Is TIME integer or non_integer type? | SV-BC Email | LRM Draft 4 | Section 3.2 | Verified 19 February 2004 | |||
Section A.2.2.1 | ||||||||||
LRM-242 | Brad Pierce | SV-BC | Minor BNF PROPOSAL and some typos | SV-BC Email | LRM Draft 4 | Section 8.2 | Verified 19 February 2004 | |||
Section 16.2 | ||||||||||
Section 18.7 | ||||||||||
Section 19.8.2 | ||||||||||
Section 20.6 | ||||||||||
Section 20.6.1 | ||||||||||
Section 23.2 | ||||||||||
Section 25.1 | ||||||||||
Section 27.5.1.1 | ||||||||||
Section A.1.5 | ||||||||||
Section A.1.7 | ||||||||||
Section A.5.1 | ||||||||||
Section A.6.2 | ||||||||||
LRM-243 | Brad Pierce | SV-BC | Port declarations (BNF) PROPOSAL | SV-BC Email | LRM Draft 4 | Section 10.2 | Verified 19 February 2004 | |||
Section 18.8 | ||||||||||
Section 18.9 | ||||||||||
Section 19.2 | ||||||||||
Section 19.4.4 | ||||||||||
Section 20.2 | ||||||||||
Section 21.2 | ||||||||||
Section 27.4.4 | ||||||||||
Section A.1.4 | ||||||||||
Section A.1.5 | ||||||||||
Section A.1.6 | ||||||||||
Section A.2.1.1 | ||||||||||
Section A.2.1.2 | ||||||||||
Section A.2.2.1 | ||||||||||
Section A.2.11 | ||||||||||
Section A.2.3 | ||||||||||
Section A.2.6 | ||||||||||
Section A.2.7 | ||||||||||
Section A.2.9 | ||||||||||
LRM-244 | Dave Rich | SV-BC | Array query return type errata | SV-BC Email | LRM Draft 4 | Section 23.7 | Verified 24 February 2004 | |||
LRM-245 | Dave Rich | SV-BC | SV31A LRM interpretation for: unique case | SV-BC Email | LRM Draft 4 | Section 8.4 | Verified 24 February 2004 | |||
LRM-246 | Brad Pierce | SV-BC | struct_union_member BNF | SV-BC Email | LRM Draft 4 | Section 3.2 | Verified 19 February 2004 | |||
Section 3.11 | ||||||||||
Section A.2.2.1 | ||||||||||
Section A.10 | ||||||||||
LRM-247 | Brad Pierce | SV-BC | Time literal question | SV-BC Email | LRM Draft 4 | Section A.2.2.3 | Verified 19 February 2004 | |||
LRM-248 | Brad Pierce | SV-EC | Method calls (BNF) PROPOSAL | SV-EC Email | LRM Draft 4 | Section 4.15 | Verified 19 February 2004 | |||
Section 8.2 | ||||||||||
Section 8.3 | ||||||||||
Section 8.5 | ||||||||||
Section 12.4 | ||||||||||
Section 12.4.7 | ||||||||||
Section 12.6 | ||||||||||
Section 12.11 | ||||||||||
Section A.6.2 | ||||||||||
Section A.6.4 | ||||||||||
Section A.8.2 | ||||||||||
Section A.9.3 | ||||||||||
LRM-249 | Brad Pierce | SV-EC | Package scope resolution (BNF) PROPOSAL | SV-EC Email | LRM Draft 4 | Section 3.10 | Verified 19 February 2004 | |||
Section 3.12 | ||||||||||
Section 3.14 | ||||||||||
Section 3.2 | ||||||||||
Section 7.18 | ||||||||||
Section 10.2 | ||||||||||
Section 10.3 | ||||||||||
Section 11.2 | ||||||||||
Section 17.11 | ||||||||||
Section 17.5 | ||||||||||
Section 18.2 | ||||||||||
Section 19.8 | ||||||||||
Section 20.2 | ||||||||||
Section A.1.3 | ||||||||||
Section A.1.8 | ||||||||||
Section A.2.2.1 | ||||||||||
Section A.2.2.3 | ||||||||||
Section A.2.6 | ||||||||||
Section A.2.7 | ||||||||||
Section A.2.10 | ||||||||||
Section A.8.1 | ||||||||||
Section A.8.2 | ||||||||||
Section A.8.4 | ||||||||||
Section A.8.5 | ||||||||||
Section A.9.3 | ||||||||||
Section A.10 | ||||||||||
LRM-250 | Brad Pierce | SV-EC | Class constructor BNF issues | SV-EC Email | LRM Draft 4 | Section 8.2 | Verified 19 February 2004 | |||
Section 11.14 | ||||||||||
Section 15.14 | ||||||||||
Section 16.2 | ||||||||||
Section 18.2 | ||||||||||
Section A.1.7 | ||||||||||
Section A.1.8 | ||||||||||
Section A.1.10 | ||||||||||
Section A.6.4 | ||||||||||
Section A.11.2 | ||||||||||
LRM-251 | Arturo Salz | SV-EC | Section 20: coverage BNF | SV-EC Email | LRM Draft 4 | Section 20.4 | Verified 19 February 2004 | |||
Section 20.4.1 | ||||||||||
Section 20.4.3 | ||||||||||
Section A.2.11 | ||||||||||
LRM-252 | Arturo Salz | SV-EC | Review Items for Chapter 12 | SV-EC Email | LRM Draft 4 | Section 12.1 | Verified 19 February 2004 | |||
Section 12.2 | ||||||||||
Section 12.4.2 | ||||||||||
Section 12.4.3 | ||||||||||
Section 12.4.4 | ||||||||||
Section 12.4.5 | ||||||||||
Section 12.4.6 | ||||||||||
Section 12.4.8 | ||||||||||
Section 12.4.9 | ||||||||||
Section 12.4.10 | ||||||||||
Section 12.4.12 | ||||||||||
Section 12.5.1 | ||||||||||
Section 12.5.3 | ||||||||||
Section 12.6 | ||||||||||
Section 12.8 | ||||||||||
Section 12.10 | ||||||||||
Section 12.11.1 | ||||||||||
Section 12.13 | ||||||||||
Section 12.13.2 | ||||||||||
Section 12.13.3 | ||||||||||
Section 12.16 | ||||||||||
LRM-253 | Arturo Salz | SV-EC | Erratum in coverage BNF | SV-EC Email | LRM Draft 4 | Section 20.4.1 | Verified 19 February 2004 | |||
Section A.2.11 | ||||||||||
LRM-254 | Arturo Salz | SV-EC | Scope randomize "method" erratum | SV-EC Email | LRM Draft 4 | Section 12.11 | Verified 19 February 2004 | |||
Section 12.11.1 | ||||||||||
LRM-255 | Arturo Salz | SV-EC | cross-bin guard erratum | SV-EC Email | LRM Draft 4 | Section 20.5 | Verified 19 February 2004 | |||
Section A.2.11 | ||||||||||
LRM-256 | Arturo Salz | SV-EC | default-bin erratum | SV-EC Email | LRM Draft 4 | Section 20.2 | Verified 19 February 2004 | |||
Section A.2.11 | ||||||||||
LRM-257 | Bassam Tabbara | SV-CC | My draft review | SV-CC Email | LRM Draft 4 | Section 29.4.3 | Verified 20 February 2004 | |||
LRM-258 | Joao Geada | SV-CC | sv_vpi_user.h revision + some comments | SV-CC Email | LRM Draft 4 | Section I | Verified 24 February 2004 | |||
LRM-259 | Arturo Salz | SV-EC | Typo in Section 20 | SV-EC Email | LRM Draft 4 | Section 20.2 | Verified 19 February 2004 | |||
LRM-260 | John Havlicek | SV-AC | Annex H Errata | SV-AC Email | LRM Draft 4 | Section H.2.2 | Verified 27 February 2004 | |||
Section H.3.3.1 | ||||||||||
Section H.3.5 | ||||||||||
Section H.3.6.1 | ||||||||||
Section H.5 | ||||||||||
LRM-261 | Brad Pierce | SV-EC | Cross-references in Sections 21-29 | Private Email | LRM Draft 4 | Section 10.5 | Verified 20 February 2004 | |||
Section 23.15.2 | ||||||||||
Section 26.3 | ||||||||||
Section 27.4.4 | ||||||||||
Section A.2.6 | ||||||||||
LRM-262 | Neil Korpusik | SV-EC | SVEC cross-reference check (ch. 15-21) | Private Email | LRM Draft 4 | Section 15.10 | Verified 26 February 2004 | |||
Section 15.14 | ||||||||||
Section 17.7.10 | ||||||||||
Section 17.11 | ||||||||||
Section 17.12 | ||||||||||
Section A.2.10 | ||||||||||
LRM-263 | Ray Ryan | SV-EC | LRM cross reference review 1-7 | Private Email | LRM Draft 4 | Section 4.15.4 | Verified 25 February 2004 | |||
Section 7.20 | ||||||||||
LRM-264 | Brad Pierce | SV | Global font problem for ## | Private Email | LRM Draft 4 | Section 17 | Verified 20 February 2004 | |||
LRM-265 | Stefen Boyd | SV-EC | Notes on draft4 | SV-EC Email | LRM Draft 4 | Section 3.14 | Verified 24 February 2004 | |||
Section 4.6.1 | ||||||||||
Section 4.8 | ||||||||||
Section 4.9 | ||||||||||
Section 4.15 | ||||||||||
Section 7.11 | ||||||||||
Section 7.12 | ||||||||||
Section 7.15 | ||||||||||
Section 7.17 | ||||||||||
Section 12.16.3 | ||||||||||
Section 15.2 | ||||||||||
LRM-266 | Brad Pierce | SV-BC | Three keywords missing from Annex B | SV-BC Email | LRM Draft 4 | Section B | Verified 20 February 2004 | |||
LRM-267 | Arturo Salz | SV-EC | Erratum to align coverage with assertions | SV-EC Email | LRM Draft 4 | Section 20.4.1 | Verified 24 February 2004 | |||
Section A.2.11 | ||||||||||
LRM-268 | Brad Pierce | SV-EC | Erratum in blocking_assignment BNF | SV-EC Email | LRM Draft 4 | Section 4.6.1 | Verified 20 February 2004 | |||
Section 8.3 | ||||||||||
Section A.6.2 | ||||||||||
LRM-269 | Dave Rich | SV-EC | Missing set of {}s in nested pack | SV-EC Email | LRM Draft 4 | Section 7.18 | Verified 24 February 2004 | |||
LRM-270 | Brad Pierce | SV-BC | Erratum (BNF) in hierarchical_identifier | SV-BC Email | LRM Draft 4 | Section 15.2 | Verified 23 February 2004 | |||
Section 15.11 | ||||||||||
Section A.1.2 | ||||||||||
Section A.1.5 | ||||||||||
Section A.6.11 | ||||||||||
Section A.9.3 | ||||||||||
LRM-271 | Arturo Salz | SV-EC | Another BNF erratum | SV-EC Email | LRM Draft 4 | Section 15.10 | Verified 23 February 2004 | |||
Section A.6.11 | ||||||||||
LRM-272 | Surrendra Dudani | SV-AC | another possible errata in 17.7.11 | Private Email | LRM Draft 4 | Section 17.7.11 | Verified 25 February 2004 | |||
LRM-273 | Ray Ryan | SV-EC | BNF errata - weight for a dist_item should be optiona | SV-EC Email | LRM Draft 4 | Section 12.4.4 | Verified 25 February 2004 | |||
Section A.1.9 | ||||||||||
LRM-274 | Arturo Salz | SV-EC | Errata: 3.1a Draft2, Section 20 | SV-EC Email | LRM Draft 4 | Section 20.4 | Verified 24 February 2004 | |||
Section 20.4.1 | ||||||||||
LRM-275 | Brad Pierce | SV-AC | Ambiguity in cycle_delay_range (BNF) | SV-AC Email | LRM Draft 4 | Section 4.13 | Verified 24 February 2004 | |||
Section 12.16.7 | ||||||||||
Section 17.5 | ||||||||||
Section 17.7.10 | ||||||||||
Section 17.12.5 | ||||||||||
Section A.2.10 | ||||||||||
Section A.8.3 | ||||||||||
Section A.8.4 | ||||||||||
LRM-276 | Arturo Salz | SV-EC | dist erratum | SV-EC Email | LRM Draft 4 | Section 12.4.4 | Verified 24 February 2004 | |||
LRM-277 | Ralph Duncan | SV-CC | Draft 5 Changes Review Request: Part-Select | SV-CC Email | LRM Draft 4 | Section E.10.3.2 | Verified 25 February 2004 | |||
Section F.1 | ||||||||||
LRM-278 | Brad Pierce | SV-AC | Simplification of multiclock BNF | SV-AC Email | LRM Draft 4 | Section 17.5 | Verified 26 February 2004 | |||
Section 17.6 | ||||||||||
Section 17.7.11 | ||||||||||
Section 17.11 | ||||||||||
Section 17.12 | ||||||||||
Section 17.13.3 | ||||||||||
Section A.2.10 | ||||||||||
LRM-279 | Dave Rich | SV-EC | Clarifications of the string types | SV-EC Email | LRM Draft 4 | Section 2.6 | Verified 26 February 2004 | |||
Section 3.7 | ||||||||||
Section 3.7.6 | ||||||||||
Section 3.7.8 | ||||||||||
Section 23.4 | ||||||||||
LRM-280 | John Havlicek | SV-AC | still didn't exclude empty match | SV-AC Email | LRM Draft 4 | Section 17.11 | Verified 27 February 2004 | |||
Section H.2.1 | ||||||||||
LRM-281 | Joao Geada | SV-CC | Updated SV VPI chapters | SV-CC Email | LRM Draft 4 | Section 31 | Verified 27 February 2004 |