| Label | Item | Status | When | U | AI | BNF |
| SV-BC01 | Deprecation | Complete | None | |||
| SV-BC02 | Time precision and timescale | Complete | P-0326 | Dave Rich to propose | ||
| SV-BC03 | Dynamic process control | Complete | None | sv-ec item | ||
| SV-BC04 | DSM (negative timing check) | Dennis to make proposal | ||||
| SV-BC05 | Data alignment and packing P-0363 | To CC? | 7/22/02 | Y | sv-ec; Kevin proposal on bytes in integers | |
| SV-BC06 | Clarify auto increment/decrement | Complete | 1/20/03 | |||
| SV-BC07 | (Section 2) literals | Complete | None | Issues enumerated below | ||
| SV-BC07a | (2) Size of '1 | Complete | 7/22/02 | Y | ||
| SV-BC07b | (2) Signed arithemetic | Complete | 8/19/02 | Y | ||
| SV-BC07c | (2) Strings as array and structure literals | Y | Steven to propose | |||
| SV-BC07d | (2) Legal locations for array & struct lits | Complete | None | 9/16/02 | ||
| SV-BC07e | (2) Analyze-time ambiguity concat vs lit | Complete | None | |||
| SV-BC07e | Ambiguity among concat, lit, and struct formal | Complete | None | Brad? (Clarification in union section?) 7/22 | ||
| SV-BC08 | Cadence section 3 issues | Complete | None | Issues enumerated below | ||
| SV-BC08-01a | (3) Why char type? | Complete | None | SV-CC | ||
| SV-BC08-01b | (3) Why shortint | Complete | None | SV-CC | ||
| SV-BC08-01c | (3) Orthogonality between int, integer | Complete | None | SV-CC | ||
| SV-BC08-01d | (3) Longint issues | Complete | None | SV-CC | ||
| SV-BC08-01e | (3) Is byte useful? | Complete | None | SV-CC | ||
| SV-BC08-01f | (3) Bit is likely to match variable names in old code | Complete | None | SV-CC | ||
| SV-BC08-01g | (3) Logic is also likely to match user's names | Complete | None | SV-CC | ||
| SV-BC08-01h | (3) unsigned as a keyword? | Complete | None | SV-CC | ||
| SV-BC08-01i | (3) Utility of shortreal | Complete | None | SV-CC | ||
| SV-BC08-01j | (3) Is void necessary | Complete | None | SV-CC | ||
| SV-BC08-02a | (3) Data packing issue - struct element ordering | Complete | 8/19/02 | Y | ||
| SV-BC08-02b | (3) Unions and 4 state members | Complete | 11/25/02 | Y | Dave Rich to propose | |
| SV-BC08-03 | (3) Type use before definition | Complete | None | |||
| SV-BC08-05 | (3.4.1) Issues with time data type | Complete | P-0422 | Peter to propose clarification | ||
| SV-BC08-07 | (3.7) Definition of masked and unmasked | Complete | 11/15/02 | Stu to implement global edit | ||
| SV-BC08-09 | (3.7) Passing large structs/arrays | Complete | None | to sv-ec | ||
| SV-BC08-10 | (3.8) Conversion of short reals to 32 bits | Complete | None | |||
| SV-BC09 | Parameterized data types | Complete | None | No action to be taken | ||
| SV-BC09-a | (3.1) Parameterized data types | Complete | None | SV-BC8-4 | ||
| SV-BC10 | Displaying enums | Complete | None | Overview | ||
| SV-BC10a | (3.6) Implications of Enum type I/O | Complete | None | SV-BC8-6 | ||
| SV-BC10b | VCD dumping for all types: enums | Delayed | 3.2 | Gord to find someone for all types | ||
| SV-BC10b-1 | VCD dumping for all types: union, packed, struct | Complete | P-0380 | Dave to propose mascarading descriptions | ||
| SV-BC10b-2 | VCD -- width representation and other issues | Delayed | 3.2 | Gord to find someone for all types | ||
| SV-BC10b-3 | VCD -- dynamic arrays and other 3.1 extensions | Delayed | 3.2 | Gord to find someone for all types | ||
| SV-BC10c | Printing enums as strings and integers | Complete | 11/11/02 | Y | ||
| SV-BC11 | Members of signed packed arrays signed? | Complete | None | |||
| SV-BC11a | (3.7) Size requirement on packed union members | Complete | 9/16/02 | Y | SV-BC8-8 | |
| SV-BC11b | (4.2) Packed array of signed | Complete | None | SV-BC8-11 | ||
| SV-BC12 | Constant exprs; difference among decls | Complete | None | Peter to determine where to put fix | ||
| SV-BC12a | (5.3) Constant expression | Complete | None | SV-BC8-12 | ||
| SV-BC13 | Change BNF to simplify attributes | Complete | None | Cliff to send to 1364 | ||
| SV-BC13a | (6.1) Attribute syntax | Complete | None | SV-BC8-13 | ||
| SV-BC14 | (9) Process execution efficiency | Complete | None | Closed with Kevin's agreement | ||
| SV-BC15 | Clarify interleaving, event scheduling | Complete | None | SV-BC8-14 through SV-BC8-17 | ||
| SV-BC15a | (9) Process execution efficiency when calling C | Complete | None | Karen to forward to sv-cc | ||
| SV-BC15b | (9.1) Interleaving of execution | Delayed | Delayed until all other issues addressed | |||
| SV-BC15c | (9.1) Scheduling algorithm | Delayed | Delayed until all other issues addressed | |||
| SV-BC15d | (9.1) Issues with dynamic processes | Complete | None | to sv-ec | ||
| SV-BC16 | Interfaces: enhancements/simplifications | Complete | None | SV-BC8-18 through SV-BC8-23 | ||
| SV-BC16a | (13) Interfaces vs. Modules | Complete | None | Not in our current charter | ||
| SV-BC16b | (13.1) Interfaces restrictions | Complete | None | Not in our current charter | ||
| SV-BC16c | (13.1) Scheduling issues | Complete | None | Moved to SV-EC | ||
| SV-BC16d | (13.2.3) Interface usage issues | Complete | None | Moved to SV-EC | ||
| SV-BC16e | (13.4) Modports issues | Complete | None | Moved to SV-EC | ||
| SV-BC16f | (13.5.4) Issue with extern forkjoin task | Complete | P-0422 | Peter to propose clarification | ||
| SV-BC17 | (More Section 3) comments Steve, 7/8/02 14:14 | Complete | None | Issues enumerated below | ||
| SV-BC17a | (3) predefinition of integer types not required | Complete | None | SV-CC | ||
| SV-BC17b | (3) 2 state Enums and x assignments | Complete | 10/14/02 | Y | ||
| SV-BC17c | (3) limits on automated enumerations | Complete | None | Closed with Steve's agreement | ||
| SV-BC17d | (3) auto-increment and enum overflow | Complete | 10/14/02 | Y | ||
| SV-BC17e | (3) Type checks not done in =, arguments, < | Delayed | Tabled until testbench discussion occurs | |||
| SV-BC17f | (3) Hierarchical path and struct/union using "." | Complete | None | Closed with Steve's agreement | ||
| SV-BC18 | (Section 5) Steve, 7/8/02 14:14 | Complete | None | Issues enumerated below | ||
| SV-BC18a | (5) "static" was rejected by 1364 | Complete | None | No action to be taken | ||
| SV-BC18b | (5) Automatic variables use outside of subroutines | Complete | 11/25/02 | |||
| SV-BC18c | (5) Variable initialization event generation | Complete | None | Change proposal failed | ||
| SV-BC18d | (5) Performance of automatic initialization | Complete | None | To be combined with SV-BCb | ||
| SV-BC18e | (5) Automatic variables triggering events? | Complete | None | Closed with Steve's agreement | ||
| SV-BC18f | (5) Logic type appears superfluous | Dave Rich to propose | ||||
| SV-BC18g | (5) Is the logic type similar to a net? | Dave Rich to propose | ||||
| SV-BC18h | (5) logic variable initialization when a port | Complete | P-0415 | Dave to propose | ||
| SV-BC18i | (5) Logic variables have strength? MOS outputs | Complete | None | Dave Rich to propose | ||
| SV-BC19 | Dan Jacobi's issues 9/11/02 02:00 | Complete | None | Issues enumerated below | ||
| SV-BC19-01 | (7)^~ is missing from precedence table | Complete | 11/11/02 | Y | ||
| SV-BC19-02 | (13)Missing () on interface examples | Complete | 1/29/03 | Karen to propose correction | ||
| SV-BC19-03 | (A.1.1) Extraneous [] on library declaration | Complete | 11/11/02 | Y | ETF 136 | |
| SV-BC19-04 | (A.1.1) back tic required before include directive | Complete | None | Closed with Dan's agreement | ||
| SV-BC19-05 | (A.1.2) Extraneous [] on liblist_clause | Complete | 11/11/02 | Y | ETF 136 | |
| SV-BC19-06 | (A.1.3) Wrong rule for some mod instantiations | Complete | 11/25/02 | Y | ETF 155 | |
| SV-BC19-07 | (A.1.3) Wrong rule for some interface insts | Complete | 11/25/02 | Y | ||
| SV-BC19-08 | (A.1.4) Enable concatenated ports | Complete | 11/11/02 | Y | ||
| SV-BC19-09 | (A.1.6) missing ; after port declaration | Complete | 11/11/02 | Y | ||
| SV-BC19-10 | (A.1.6) unnecessary productions used | Complete | 11/11/02 | Y | ||
| SV-BC19-11 | (A.2.1.2) identifier should not be bold | Complete | 11/11/02 | Y | ||
| SV-BC19-12 | (A.2.1.3) typedef syntax clarification needed | Complete | 11/11/02 | Y | Brad to propose | BNF |
| SV-BC19-12a | (A.2.1.3) typedef syntax clarification needed | Complete | 3/3/03 | P-0468 | ||
| SV-BC19-13 | (A.2.2.1) incorrect dimension added | Complete | 11/25/02 | Y | ||
| SV-BC19-14 | (A.2.2.1) unnecessary square brackets | Complete | 11/11/02 | Y | ||
| SV-BC19-15 | (A.2.2.3) delays () required on delays | Complete | 11/25/02 | Y | ETF 63, 174 | |
| SV-BC19-16 | (A.2.3) simplify a production | Complete | 11/11/02 | Y | ETF 193 | |
| SV-BC19-17 | (A.2.3) simplify a production | Complete | 11/11/02 | Y | ETF 193 | |
| SV-BC19-17a | (A.2.6) signed function declarations | Complete | P-0454 | BNF | ||
| SV-BC19-18 | (A.2.6) enable default type decls on functions | Complete | 1/15/03 | Dan to propose | ||
| SV-BC19-19 | (A.2.7) enable default type decls on tasks | Complete | 11/25/02 | Y | ||
| SV-BC19-20 | (A.2.9) typo in named_function_proto | Complete | 11/25/02 | Y | ||
| SV-BC19-21 | (A.3.1) range already parsed | VSG/PS | Dan to propose fix matching ETF 112, 200 | |||
| SV-BC19-22 | (A.4.1.1) unnecessary [] | Complete | 11/25/02 | Y | ||
| SV-BC19-23 | (A.4.1.1) unnecessary [] | VSG/PS | ETF 202 | |||
| SV-BC19-24 | (A.4.1.1) unnecessary range specification | VSG/PS | ETF 112, 200 | |||
| SV-BC19-24a | (A.4.1.1) | Complete | Closed with Brad's approval | |||
| SV-BC19-25 | (A.4.2.1) unnecessary production | Complete | 11/25/02 | Y | ||
| SV-BC19-26 | (A.5.4) [] need to not be bold | Complete | None | Duplicate of SV-BC19-24 | ||
| SV-BC19-27 | (A.6.4) semi-colon needed | Complete | 11/25/02 | Y | ||
| SV-BC19-28 | (A.6.4) issues with function_call_statement | Complete | 1/15/03 | SV-BC19-30, SV-BC19-38 | ||
| SV-BC19-29 | (A.6.4) semi-colon needed | Complete | 11/25/02 | Y | ||
| SV-BC19-30 | (A.6.4) issues with function_call_statement | Complete | None | Added to SV-BC19-28 | ||
| SV-BC19-31 | (A.6.5) redundant rules for event expression | Complete | 1/15/03 | |||
| SV-BC19-31a | (A.6.5) ETF redundant rules for event expression | Complete | None | ETF 182 | ||
| SV-BC19-32 | (A.6.6) redundant productions for if | Complete | None | ETF 178 (addressed by ETF 12/16/02) | ||
| SV-BC19-33 | (A.6.6) redundant productions for if | Complete | None | ETF 178 (addressed by ETF 12/16/02) | ||
| SV-BC19-34 | (A.6.8) expand for-loop expressions | Complete | 1/29/03 | Dan to propose | ||
| SV-BC19-35 | (A.6.8) redundant repeat loop declaration | VSG/PS | ETF 85 | |||
| SV-BC19-36 | (A.6.8) remove ; | Complete | 12/20/02 | Y | ||
| SV-BC19-37 | (A.6.9) changes to support null arguments | VSG/PS | ETF 232 | |||
| SV-BC19-38 | (A.6.9.1) add a function call statement | Complete | None | Added to SV-BC19-28 | ||
| SV-BC19-39 | (A.6.10) bold [] on constant expression | Complete | 1/13/03 | |||
| SV-BC19-40 | (A.7.5.3) posedge and negedge redundant | Complete | None | Dropped with Dan's agreement | ||
| SV-BC19-41 | (A.7.5.3) redundant rule | VSG/PS | ETF 237 | |||
| SV-BC19-42 | (A.7.5.3) redundant rules | Complete | None | Duplicate of SV-BC19-41 | ||
| SV-BC19-43 | (A.8.2) genvar_function_call not used | Complete | 1/15/03 | ETF 28 (addressed by ETF 12/16/02) | ||
| SV-BC19-44 | (A.8.3) odd syntaxes allowed | Complete | 1/29/03 | Brad to propose | ||
| SV-BC19-45 | (A.8.3) redundant production | VSG/PS | ETF 238 | |||
| SV-BC19-46 | (A.8.3) attributes and auto-increment conflict | Complete | 1/15/03 | |||
| SV-BC19-46a | (A.8.3) attributes allowed on ++ --? | Complete | 1/29/03 | Yes, BNF meeting to fix. Not ambiguous | ||
| SV-BC19-47 | (A.8.3) redundant production | VSG/PS | ETF 238 | |||
| SV-BC19-48 | (A.8.4) time/instantiation naming conflict | Complete | 1/29/03 | Dan to draft a proposal | ||
| SV-BC19-49 | (A.8.4) expression simplification | Complete | 1/29/03 | ETF 181, 53 | ||
| SV-BC19-50 | (A.8.4) redundant operators with {} and {{}} | Complete | 1/29/03 | |||
| SV-BC19-51 | (A.8.4) ambiguity with time/instantiation | Complete | None | Duplicate of 19-62, 19-48 | ||
| SV-BC19-52 | (A.8.5) simplification of grammar | Complete | None | Duplicate of SV-BC19-49 | ||
| SV-BC19-53 | (A.8.5) illegal syntax? | Complete | None | Duplicate of SV-BC19-46 | ||
| SV-BC19-54 | (A.8.5) illegal syntax? | Complete | 1/29/03 | Brad to propose | ||
| SV-BC19-55 | (A.8.5) illegal syntax? | Complete | None | Duplicate of SV-BC19-49 | ||
| SV-BC19-56 | (A.9.3) not bold [] | Complete | 1/15/03 | |||
| SV-BC19-57 | (A.9.3) not bold [] | Complete | 1/15/03 | |||
| SV-BC19-58 | (A.9.4) enable select indexes of hier ref | Complete | 1/15/03 | |||
| SV-BC19-59 | (B) keywords transition/endtransition not used | Complete | 12/20/02 | Y | ||
| SV-BC19-60 | interface instantiation w/o ports not supported | Dan to driveP | ||||
| SV-BC19-61 | complex delay expressions only within () | Complete | None | Duplicate of SV-BC19-48 | ||
| SV-BC19-62 | time literals in expressions only with () | Complete | None | Duplicate of SV-BC19-48 | ||
| SV-BC19-63 | attributes not allowed on ++, -- | Complete | None | Duplicate of SV-BC19-46a | ||
| SV-BC19-64 | functions with no ports allowed (P-0318) | P-SV-EC | ||||
| SV-BC19-65 | automatic operators allowed in loop iteration | Complete | None | Same as SV-BC 19-34 | ||
| SV-BC19-66 | parameter declaration in $root | Complete | None | Dan to open with SV-EC | ||
| SV-BC19-67 | default initialization of unpacked structs | Complete | None | Duplicate of SV-BC62a | ||
| SV-BC19-68 | hierarchical identifier selects | Complete | None | Same as SV-BC19-58 | ||
| SV-BC19-69 | single declaration definition in modport decls | Complete | None | Superceded by SV-BC60 | ||
| SV-BC20 | Typedef and generate issues (gord 9/17 7:47) | Complete | P-0061 | Gord to propose | ||
| SV-BC21 | Always_comb semantics (gord 10/1 13:23) | Complete | None | Issues enumerated below | ||
| SV-BC21-1 | Granularity of variables written P-0292 | Gord to propose | ||||
| SV-BC21-2 | Function variable writes P-0292 | Gord to propose | ||||
| SV-BC21-3 | RHS implied sensitivities P-0292 | Gord to propose | ||||
| SV-BC22 | Modport syntax (Message 0096) | Complete | None | Issues enumerated below | ||
| SV-BC22-1 | BNF issue | Complete | None | Superceded by SV-BC60 | ||
| SV-BC22-2 | Example issue | Complete | 12/20/02 | Y | ||
| SV-BC23 | Concat vs. Struct declaration (gord 10/14 8:38) | Complete | None | Duplicate of BC7d, BC19-67 | ||
| SV-BC24 | Declaration of variables in unnamed blocks | Complete | None | No action. 10/28/02 Meeting | ||
| SV-BC25 | Develop a method for restricting hierarchical ref | Complete | None | No action. 10/28/02 Meeting | ||
| SV-BC26 | Need a section to discuss print control | Complete | None | 11/11/02 Meeting | ||
| SV-BC26-1 | %n | Complete | 1/22/03 | reverse %n addition | ||
| SV-BC26-2 | %z and %u on new datatypes | Gord to propose | ||||
| SV-BC27 | Use interface_identifier rather than identifier | Complete | 12/20/02 | Y | Dan Jacobi 11/12/02 9:43am | |
| SV-BC28 | A.2.9 modport_declaration bold modport | Complete | 12/20/02 | Y | Brad Pierce 11/13/02 5:22pm | |
| SV-BC29 | Need $bitstoreal and $realtobits for shortreal | Complete | P-0293 | Gord to propose | ||
| SV-BC30 | Disabling calls for fork/join tasks clarification | P-0284 | 11/15/02 minutes | |||
| SV-BC31 | Interface trimming if modport not used? | Complete | None | Steven to propose or close 11/15/02 minutes | ||
| SV-BC32 | Back Annotation and timing with interfaces | Peter to propose naming 11/15/02 minutes | ||||
| SV-BC33 | Back Annotation and timing with logic | Deferred | Nee logic resolutoin. 11/15/02 minutes | |||
| SV-BC34 | Attribute isses | Complete | None | Brad 11/18/02 19:02 (0154) Brad to EC | ||
| SV-BC34a | Multiple namespaces exist | Complete | P-0446 | Dave will propose | ||
| SV-BC35 | task port declarations in BNF | Complete | P-0445 | Shalom 11/19/02 10:14 (0155) (p-0413?) | BNF | |
| SV-BC36 | Conversion from 4-state to 2-state as undefined | Complete | None | Kevin's issue for Analog Simulation 11/25 | ||
| SV-BC37 | Remove footnote on BNF | Complete | 1/29/03 | Brad Pierce 11/25/02 17:28pm (0176) | ||
| SV-BC37a | Illegal modports not clear | Complete | Karen's error same as SV-BC39 | |||
| SV-BC38 | I++ not valid as an lvalue | Complete | None | Covered by ETF 53 | ||
| SV-BC39 | Illegal modports not clear | P-0514 | Brad Pierce 11/25/02 18:16pm (0178) | |||
| SV-BC40-1 | * as a wildcard in library expressions | Complete | None | Eric Olson's mail 12/3/02 1:52 (0203) | ||
| SV-BC40-2 | Implicit partial match in port expressions | Complete | None | Eric Olson's mail 12/3/02 1:52 (0203) | ||
| SV-BC41 | Deleting types on modport decls | Complete | None | Closed with Brad's approval | ||
| SV-BC42 | Stu Sutherland 12/6/02 16:39 (0222) | Complete | None | |||
| SV-BC42-01 | 3.3 bit selects of int, byte, char, etc | Delayed | 3.2 | |||
| SV-BC42-02 | 3.7 masked, unmasked | Complete | None | Same as SV-BC8-7 | ||
| SV-BC42-03 | 3.7 assignment to packed and unpacked unions | Complete | None | Same as SV-BC56 | ||
| SV-BC42-04 | 4.2 change "may" to "can" | Complete | 12/20/02 | Y | ||
| SV-BC42-05 | 5.6 port contradiction | Complete | None | Subperceded by 18f,g,h,I | ||
| SV-BC42-06 | 5.6 logic driven by "explicit" continuous assign | Complete | None | Addressed by 18i, 18h | ||
| SV-BC42-07 | 5.6 expand on assign statement | Complete | None | Addressed by 18i, 18h | ||
| SV-BC42-08 | 5.6 explain logic and declaration assignments | Complete | None | Addressed by 18i, 18h | ||
| SV-BC42-09 | 5.6 where can bit types be used | Complete | None | Superceded by 18f,g,h,I | ||
| SV-BC42-10 | 5.6 legal use of int, byte, char, etc | Complete | None | Superceded by 18f,g,h,I | ||
| SV-BC42-11 | 7.8 Precidence table issues | Karen to integrate VSG changes | ||||
| SV-BC42-12 | 8.9 Change signal name | Complete | 12/20/02 | Y | ||
| SV-BC42-13 | 8.9 comments are the same | Complete | None | Superceded by SV-BC44-15 | ||
| SV-BC42-14 | 9.1 change always_ff to bold | Complete | 12/20/02 | Y | ||
| SV-BC42-15 | 9.2 hierarchical reference in always_comb? | Complete | None | Not illegal | ||
| SV-BC42-16 | 9.2, 9.3 always_latch sensitivity | P-0565 | Dave to make a ruling | |||
| SV-BC42-17 | 9.3 bold always_latch | Complete | 12/20/02 | Y | ||
| SV-BC42-18 | 11.9 delete first only | Complete | 12/20/02 | Y | ||
| SV-BC42-19 | 12.2 instance name for implicit instantiation | No Vol | ||||
| SV-BC42-20 | 12.2 change shall to can | Complete | 12/20/02 | Y | ||
| SV-BC42-21 | 12.6, 3.4.1 clarification on timeunit/precision | Complete | None | |||
| SV-BC42-22 | 12.6, 3.4.1 illegal for many timeunit/precision | Complete | None | |||
| SV-BC42-23 | 12.7.4 .* connections only to variables | P-0566 | Dave to make a ruling | |||
| SV-BC42-24 | 12.7.4 are global signals connected? | P-0567 | Dave to make a ruling | |||
| SV-BC42-25 | 12.7.5 change simulator to standard | Complete | 12/20/02 | Y | ||
| SV-BC42-26 | 12.7.5 change will run to shall | Complete | 12/20/02 | Y | ||
| SV-BC42-27 | 12.7.5 change run to shall | Complete | 12/20/02 | Y | ||
| SV-BC42-28 | 12.7.5 change issue to result in | Complete | 12/20/02 | Y | ||
| SV-BC42-29 | 13.1 change modelling to modeling | Complete | 12/20/02 | Y | ||
| SV-BC42-30 | 13.5.3 normative text needed on prototypes | Dave to make a ruling | ||||
| SV-BC42-31 | A.2.1.2 identifier should not be bold | Complete | None | SV-BC-19-11 | ||
| SV-BC42-32 | A.2.2.1 signed/type ordering | See SV-BC41, Stu to make a proposal? | BNF | |||
| SV-BC42-33 | A.6.1 continuous assign for bit/logic | P-0568 | Dave to make a ruling | BNF | ||
| SV-BC42-34 | A.6.2 initial, always_* bold | Complete | 12/20/02 | Y | ||
| SV-BC42-35 | A.6.4 bold process | Complete | 12/20/02 | Y | ||
| SV-BC43 | Need for structured, multiply driven buses | Complete | None | To the EC | ||
| SV-BC44 | Steven Sharp 12/10/02 19:51 (0242) | Complete | None | |||
| SV-BC44-01 | (7) Assignments as expressions | Chairs | P-0536 | |||
| SV-BC44-02 | (7) automatic operators are a bad idea | Complete | None | removal of assignment as expression 1/20 | ||
| SV-BC44-03 | (7) signedness of an assignment as expression | Complete | None | Same as 44-01 | ||
| SV-BC44-04 | (8) unique and priority as assertions | Complete | None | |||
| SV-BC44-05 | (8) do-while rejected by 1364 | Complete | None | |||
| SV-BC44-06 | (8.4, 8.6) hierarchical names and stmt labels | Complete | 2/27/03 | |||
| SV-BC44-07 | (8) XMRs local variables in unnamed blocks | Complete | None | |||
| SV-BC44-08 | (8) statement labels unnecessary | Complete | None | |||
| SV-BC44-09 | (8.8) disables and non-blocking assigns | Complete | 1/22/03 | |||
| SV-BC44-10 | (8.8) disables and forces or proced cont assign | Complete | None | |||
| SV-BC44-11 | (8) disable and fork/join | Complete | 2/27/03 | P-0536 | ||
| SV-BC44-12 | (8) break, continue and fork/join | Complete | 2/27/03 | P-0536 | ||
| SV-BC44-13 | (8) iff useful? | Complete | None | |||
| SV-BC44-14 | (8.9) posedge and negedge definition | Complete | 2/27/03 | |||
| SV-BC44-15 | (8) changed unnecessary | Complete | 1/22/03 | |||
| SV-BC44-16 | (8.9) side-effects in event control | Complete | None | |||
| SV-BC45 | Dynamic checking of enums is expensive. | Complete | P-0434 | SV-EC, Dave to propose | ||
| SV-BC46 | char representing both byte and uni-code (sv-ec) | Complete | 1/6/03 | N | ||
| SV-BC47 | ?: and 2 state resolution (sv-ec) | Complete | None | Same as 62c | ||
| SV-BC48 | Do-while needs trailing semi-colon | Complete | 1/15/03 | Brad Pierce 1/2/03 16:15 (0283) | ||
| SV-BC49-1 | B Add edge as a keyword | Complete | 1/29/03 | Dan Jacobi 1/6/03 1:59 (0287) | ||
| SV-BC49-2 | A.7.5.3 "Edge" use in BNF from SV-BC19-40 | Complete | 1/29/03 | Dan Jacobi 1/6/03 1:59 (0287) | ||
| SV-BC50 | A.2.6 signedness in function BNF | Complete | 1/29/03 | (0287) Same as 19-17a | ||
| SV-BC51 | size of an expression assignment is undefined | Complete | None | Closed with Brad's agreement | ||
| SV-BC52 | clarification of operations on unpacked arrays | Complete | None | SV-BC56 | ||
| SV-BC53 | Issues with auto-increment description | Peter to propose (0298) | ||||
| SV-BC54 | Message 0335 | Complete | None | |||
| SV-BC54-1 | (A.2.1.1) Bold type | Complete | 1/29/03 | |||
| SV-BC54-2 | (A.2.4, A.8.3) Parameter type ambiguities | Complete | 1/29/03 | |||
| SV-BC55 | BNF allows packed integer arrays | Complete | 1/29/03 | Dave Rich 1/16/03 11:35 (0338) | ||
| SV-BC56 | Operations allowed on unpacked arrays | Complete | 1/22/03 | Message 0319 | ||
| SV-BC57 | Result type of an assignment | Complete | Same as SV-BC44-3 | |||
| SV-BC58 | Slices of unpacked arrays | Complete | P-0331 | Message 0331 | ||
| SV-BC59 | Inconsistency in priority/unique (0360) | P-0556 | Message 0360 | |||
| SV-BC60 | Modport syntax issues | Complete | P-0410 | Message 0358 | ||
| SV-BC61 | Type equivalency rules for extern interface tasks | Peter to propose, Meeting 1/22/03 | ||||
| SV-BC61a | Are nets and regs assignment compatible (0374) | Peter to propose, Meeting 1/22/03 (Matt's issues) | ||||
| SV-BC62a | Simpler declaration of unpacked struct lits (0374) | Complete | P-0382 | Matt Maidment meeting 1/22/03 | ||
| SV-BC62b | Packed array of packed structs (0374) | Complete | None | Dave to propose | ||
| SV-BC62c | Expanding ?: to work on unpacked data (0374) | Dave to propose | ||||
| SV-BC63 | Are typedefs allowed of types in modules? XMR | Dave to propose. Meeting 1/29/03 | ||||
| SV-BC64 | Multiple dimensional arrayed instances | Delayed | 3.2 | Brad to propose. Meeting 1/29/03 | ||
| SV-BC65 | Structure literals vs concat determination P-0436 | Dave to propose SV-EC | ||||
| SV-BC66 | Update BNF to reflect ETF changes | Complete | P-0433 | |||
| SV-BC67 | () after interface instantiation needed | Complete | P-0435 | |||
| SV-BC68 | BNF issues | Complete | P-0404 | |||
| SV-BC69 | Macro issues (0478) | Dan to propose | ||||
| SV-BC70 | Type_declaration_identifier (0477) | P-0477 | ||||
| SV-BC71 | Extern modules | Complete | P-0466 | |||
| SV-BC72 | Unique and Priority clarification | P-0500 | ||||
| SV-BC73 | BNF for unbased binary literals | P-0508 | ||||
| SV-BC74 | BNF for optional trailing names in mods, udps | P-0511 | ||||
| SV-BC75 | Definition of XMR nested in an unnamed scope | P-0569 | Dave to propose (meeting 2/24/03) | |||
| SV-BC76 | Implicit instantiation of nested modules? | Dave to rule (Meeting 2/24/03) | ||||
| SV-BC77 | BNF in alignment with IEEE | Complete | P-0417 | |||
| SV-BC77 | $root and separate compilation (P-0537) | Peter to make formal language proposal | ||||
| SV-BC78 | Modport and function prototypes | P-0530 | ||||
| SV-BC79 | Compiler directive clarification (0526) | P-0564 | Brad to propose | |||
| SV-BC80 | Additional modport example issues (0531) | P-0534 | ||||
| SV-BC81 | Issues with SV-BC19-21/24/26 | P-0518 | ||||
| SV-BC81-1 | Bold needed in BNF | P-0535 | ||||
| SV-BC82 | Port decls BNF change | P-0538 | ||||
| SV-BC83 | Extern functions in interfaces | P-0539 | ||||
| SV-BC84 | Interfaces supporting only ansi-style ports(0542) | P-0557 | ||||
| SV-BC84 | BNF for SV-BC71 | P-0558 | ||||
| SV-BC85 | Limits on assignment as expression | Complete | 3/3/03 | |||
| SV-BC86 | Removal of char | Steven to propose. | ||||
| SV-BC87 | Why can't interfaces be declared in modules? | Meeting 3/3/03 Peter needs to rule | ||||
| SV-BC88 | Revisit 19-60 to develop a more complete soln | Delayed | 3.2 | Meeting 3/3/03 | ||
| SV-BC89 | ETF 200 update needed | Complete | 3/3/03 | |||
| SV-BC90 | hierarchical typedef allows an unresolved cycle | Delayed | 3.2 | Discussion of 19-12, P-0468 |