| Issue |
State |
Type |
Assignee |
Title |
| 48 |
Committed |
Enhancement |
Synopsys |
Flexibility in Function description and use |
| 77 |
Open |
Enhancement |
None |
Embedding assertions in User Types |
| 78 |
Open |
Enhancement |
None |
Named port bitwise assignment |
| 79 |
Open |
Discuss |
None |
Incompleteness of the glossary in Annex H |
| 92 |
Open |
Discuss |
None |
1038 Optional argument list for subroutine calls |
| 107 |
Open |
Simple |
None |
1130 questions about structure literals |
| 110 |
Open |
Discuss |
None |
1145 Moving .* and .name to section 18.8 |
| 114 |
Open |
Discuss |
None |
1168 Need help on "library file_path syntax" |
| 119 |
Open |
Discuss |
None |
1194 left/right justified and patched with zero |
| 121 |
Open |
Enhancement |
None |
1217 Erratta or simple proposal for task, function, property,sequence arguments |
| 123 |
Open |
Enhancement |
None |
1224 Suggestions for additional typedef syntax |
| 126 |
Open |
Discuss |
None |
1233 Connecting arrays of interface instances using a modport -- slice syntax needs clarification |
| 143 |
Open |
Discuss |
None |
out of range selections of array of unions and structure issue |
| 145 |
Open |
Discuss |
None |
Calling/Instantiation convention issues |
| 146 |
Open |
Enhancement |
None |
1341 2-state wildcard for case-items (in case, casez, and casex) |
| 151 |
Open |
Simple |
None |
1370 7.14 struct literal typo |
| 152 |
Open |
Simple |
None |
1372 7.14 type expr in a struct literal |
| 153 |
Open |
Simple |
None |
1376 question about $dimensions |
| 154 |
Open |
Simple |
None |
1381 statement ##5; not in grammar |
| 155 |
Open |
Simple |
None |
1382 update to separate compilatoin proposal |
| 156 |
Open |
Simple |
None |
1384 Is TIME integer or non_integer type? |
| 157 |
Open |
Simple |
None |
1389 question about array and struct literals |
| 160 |
Open |
Simple |
None |
1394 11.25 Title update suggested |
| 161 |
Open |
Simple |
None |
1395 Questions and potential issue about parameters |
| 164 |
Open |
Simple |
None |
1410 requirement for "exact match" of types |
| 166 |
Open |
Simple |
None |
1446 error in example in section 2.7 |
| 172 |
Open |
Discuss |
None |
Paul Graham (pgraham@cadence.com) |
| 173 |
Open |
Discuss |
None |
Stu-note on enumerated names/labels |
| 16 |
Passed |
Discuss |
Synopsys |
Implicit instantiation of nested modules? |
| 54 |
Passed |
Discuss |
Cliff Cummings |
Changing ref ports from the default for variables in an interface |
| 105 |
Passed |
Discuss |
Dave Rich |
1126 unpacked array and structure expression issues |
| 158 |
Passed |
Simple |
None |
1393 3.11 , selecting bits from a packed structure |
| 163 |
Passed |
Simple |
None |
1399 missing section heading for extern modules |
| 165 |
Passed |
Simple |
None |
1433 proposal regarding enumeration types |
| 167 |
Passed |
Simple |
None |
Require the type for sized enums |
| 168 |
Passed |
Simple |
None |
1463 Array of instances (BNF cleanup) |
| 169 |
Passed |
Simple |
None |
1473 Subroutine BNF cleanup |
| 170 |
Passed |
Simple |
None |
2 erratas |
| 171 |
Passed |
Simple |
None |
Packed updates in the $readmem proposal |
| 174 |
Passed |
Discuss |
None |
1497 Array signing clarification |
| 175 |
Passed |
Simple |
None |
1500 import p * |
| 176 |
Passed |
Simple |
None |
1509 out of range indexes |
| 177 |
Passed |
Discuss |
None |
1515 contradiction with array assignment rules |
| 7 |
Updated |
Discuss |
Matt Maidment |
(3) Type checks not done in =, arguments, < |
| 8 |
Updated |
Discuss |
None |
Back Annotation/timing with interfaces |
| 14 |
Updated |
Discuss |
Dave Rich |
Are typedefs allowed of types in modules? XMR? |
| 18 |
Updated |
Discuss |
None |
Port decls BNF change |
| 22 |
Updated |
Discuss |
Separate Compilation |
Namespace declaration |
| 23 |
Updated |
Simple |
None |
Footnote for SV-BC73 |
| 37 |
Updated |
Enhancement |
Synopsys Synopsys |
Interface Port Expressions |
| 40 |
Updated |
Discuss |
None |
Problem in reg definition |
| 41 |
Updated |
Discuss |
None |
sv 3.1 errors in parameter declaration syntax |
| 44 |
Updated |
Discuss |
Greg Jaxon |
Ruling out empty structs |
| 46 |
Updated |
Discuss BNF |
None |
Enable port parsing without a direction |
| 47 |
Updated |
Discuss |
None |
Static Prefix proposal |
| 49 |
Updated |
Enhancement |
Synopsys Synopsys |
Operator overloading |
| 50 |
Updated |
Simple |
None |
return needs to be marked as SV in Annex B |
| 53 |
Updated |
Enhancement |
Synopsys |
Expand array querying functions |
| 55 |
Updated |
Simple |
None |
Attributes are missing from a few places |
| 56 |
Updated |
Simple |
None |
clarify continuous assignments and function output arguments |
| 57 |
Updated |
Simple BNF |
Brad Pierce |
BNF update the function_port_item production |
| 58 |
Updated |
Simple |
Karen Pieper |
variables in inout ports |
| 61 |
Updated |
Simple BNF |
Dan Jacobi |
BNF unpacked structs should not allow signing. |
| 63 |
Updated |
Simple |
None |
Fix Syntax Box 18-1 |
| 64 |
Updated |
Simple BNF |
None |
There is a redundant production for the for loop in the BNF under A.6.8 |
| 65 |
Updated |
Simple BNF |
None |
void'(function call) should be a statement |
| 67 |
Updated |
Discuss |
Doug Warmke |
Question on memory pattern file formats in SV |
| 69 |
Updated |
Discuss |
Mark Hartoog |
[sv-bc 1013] enumerated types |
| 70 |
Updated |
Discuss |
Brad Pierce, Peter Flake |
[sv-bc 1020] Errata in SV 3.1 BNF for unique/priority if...else |
| 71 |
Updated |
Enhancement |
Rishiyur Nikhil |
Donations proposed from Bluespec |
| 72 |
Updated |
Discuss |
SV-EC |
More general description of "inside" operator needed |
| 73 |
Updated |
Simple |
None |
BNF modifications by IEEE 1364 |
| 75 |
Updated |
Discuss |
Rishiyur Nikhil |
Type parameter question |
| 81 |
Updated |
Discuss |
None |
Enumerated type ranges |
| 82 |
Updated |
Discuss |
Dave Rich |
1038 Aggregates and aggregate expressions |
| 91 |
Updated |
Discuss |
None |
1038 Apparent contradiction regarding 'ref' |
| 94 |
Updated |
Simple |
None |
1038 typo in example |
| 95 |
Updated |
Discuss |
None |
1038 Accessibility of interface parameters |
| 98 |
Updated |
Discuss |
Brad Pierce |
Parameter keyword superfluous |
| 99 |
Updated |
Simple BNF |
None |
Issue in Concatenation BNF |
| 100 |
Updated |
Discuss |
None |
Event controls in always_* forms |
| 102 |
Updated |
Discuss |
None |
Out of range index values for 2-state arrays |
| 103 |
Updated |
Simple |
None |
1124 Possible example error in section 3.10 |
| 104 |
Updated |
Simple |
None |
1125 BNF problems with type declarations |
| 113 |
Updated |
Discuss |
None |
1166 Are const unpacked arrays allowed? |
| 115 |
Updated |
Simple |
None |
1172 Are enum identifiers elaboration time constants |
| 120 |
Updated |
Simple |
None |
wire declaration assignments with unpacked dimensions |
| 125 |
Updated |
Simple |
None |
1232 module instantiation |
| 127 |
Updated |
Simple BNF |
None |
1237 Erratum and PROPOSAL -- 3.9 -- 'complex data types' as parameters |
| 128 |
Updated |
Simple BNF |
None |
1243 Erratum and PROPOSAL (BNF) for lists of arguments |
| 129 |
Updated |
Simple BNF |
None |
Erratum and PROPOSAL (BNF) -- variable_decl_assignment |
| 130 |
Updated |
Discuss |
None |
1251 task/function_declaration with empty port_list |
| 132 |
Updated |
Simple BNF |
None |
1257 Erratum and PROPOSAL (BNF) -- timeunits_declaration |
| 135 |
Updated |
Simple BNF |
None |
remove semicolon in variable_declaration |
| 136 |
Updated |
Simple BNF |
None |
PROPOSAL (BNF) -- updates from 1364 VSG |
| 139 |
Updated |
Discuss |
None |
Errata for ERR-6 and SV-BC-72 |
| 144 |
Updated |
Discuss |
None |
1329 Amendment to the compilation unit definition |
| 147 |
Updated |
Simple |
None |
1346 New issue from 12/5 meeting Clarifications on casting |
| 148 |
Updated |
Discuss |
None |
enum ranges |
| 149 |
Updated |
Simple BNF |
None |
Erratum and PROPOSAL (BNF) -- net declarations |
| 150 |
Updated |
Simple BNF |
None |
1368 Erratum and PROPOSAL (BNF) -- tagged unions |
| 4 |
Deferred |
Discuss |
None |
VCD dumping for all types |
| 62 |
Deferred |
Simple BNF |
Dan Jacobi, SV-AC |
Attributes missing from a few places (not modports) |
| 76 |
Deferred |
Discuss |
Adam Krolnik |
Erratta or simple proposal for task, function, property, sequencearguments. |
| 140 |
Deferred |
Simple BNF |
None |
Erratum and PROPOSAL (BNF) -- local redefinition of types declared in interfaces |
| 1 |
Closed |
Simple |
None |
Issue summary causes error |
| 2 |
Closed |
Enhancement |
None |
DSM (negative timing check) |
| 3 |
Closed |
Simple |
None |
Strings as array and structure literals |
| 5 |
Closed |
Discuss |
None |
(9.1) Interleaving of execution |
| 6 |
Closed |
Discuss |
None |
(9.1) Scheduling algorithm |
| 9 |
Closed |
Discuss |
None |
Back Annotation and timing with the logic type |
| 10 |
Closed |
Discuss |
None |
3.3 bit selects of int, byte, char, etc. |
| 11 |
Closed |
Discuss |
None |
12.2 Instance name for implicit instantiation |
| 12 |
Closed |
Discuss |
None |
Normative text needed on prototypes |
| 13 |
Closed |
Enhancement |
None |
A.2.2.1 signed/type ordering |
| 15 |
Closed |
Discuss |
None |
Multile dimensional arrayed instances |
| 17 |
Closed |
Discuss |
Separate Compilation |
$root and separate compilation |
| 19 |
Closed |
Discuss |
None |
Why can't interfaces be declared in modules |
| 20 |
Closed |
Discuss |
None |
Revisit SV-BC19-60 to develop a more complete solution |
| 21 |
Closed |
Discuss |
None |
hierarchical typedef allows an unresolved cycle |
| 24 |
Closed |
Discuss |
None |
Declaration of loop variable as automatic |
| 25 |
Closed |
Discuss |
None |
Scheduling semantics update |
| 26 |
Closed |
Discuss |
None |
Task declarations in BNF |
| 27 |
Closed |
Discuss |
Separate Compilation |
Add the import directive |
| 28 |
Closed |
Discuss |
Separate Compilation |
Extern functions |
| 29 |
Closed |
Discuss |
None |
Enum cleanup |
| 30 |
Closed |
Discuss |
None |
Unchecked next, prev for enums |
| 31 |
Closed |
Discuss |
None |
Allowing assignment expressions in assertions? |
| 32 |
Closed |
Discuss |
None |
Behavior of 'signed and 'unsigned to $forms |
| 33 |
Closed |
Discuss |
Separate Compilation |
Addition of endmodule keyword to extern module |
| 34 |
Closed |
Discuss |
None |
BNF for the ref keyword |
| 35 |
Closed |
Discuss |
Cliff Cummings |
logic -vs- ulogic |
| 36 |
Closed |
Simple |
Jay Lawrence |
Assignments in event expressions |
| 38 |
Closed |
Enhancement |
None |
Add untypedef facility |
| 39 |
Closed |
Enhancement |
None |
Backward compatibility pragmas |
| 42 |
Closed |
Simple |
None |
Issue found by cc committee on the syntax of a DPI import declaration |
| 43 |
Closed |
Enhancement |
None |
Multiple concatenation when replication count is 0 |
| 45 |
Closed |
Simple |
None |
Scheduling Region Questions and Problems of new SystemVerilog |
| 51 |
Closed |
Enhancement |
None |
Expand modports to allow port expressions |
| 52 |
Closed |
Enhancement |
SV-EC |
Packing/unpacking cast |
| 59 |
Closed |
Simple |
None |
signed unpacked structs and unions |
| 60 |
Closed |
Discuss |
None |
iff as operator? |
| 66 |
Closed |
Simple BNF |
None |
Task/Function ports shouldn't allow net types |
| 68 |
Closed |
Discuss |
None |
Defparam and the override of nested parameters |
| 74 |
Closed |
Discuss |
None |
Clarify semantics of bind |
| 80 |
Closed |
Simple |
None |
Arrat literal examples needed. |
| 83 |
Closed |
Discuss |
None |
Casting, assignment compatibility |
| 84 |
Closed |
Simple |
None |
1038 Array querying system functions of 22.4 and the array methods of 4.6, 4.9-10 |
| 85 |
Closed |
Discuss |
None |
1038 definitions of basic terms |
| 86 |
Closed |
Discuss |
None |
1038 Valid types for operators not defined |
| 87 |
Closed |
Discuss |
None |
Nonblocking assignment operator |
| 88 |
Closed |
Discuss |
None |
1038 priority if and unique case |
| 89 |
Closed |
Discuss |
None |
1038 Clarification of sentence about 'continue' |
| 90 |
Closed |
Discuss |
None |
1038 Clarification of sentence about 'logic' as default type |
| 93 |
Closed |
Discuss |
None |
1038 Clarification of sentence about inheritance of port direction |
| 96 |
Closed |
Discuss |
None |
1038 Polymorphism, parameters |
| 97 |
Closed |
Simple |
None |
1094 Hierarchical Names issue |
| 101 |
Closed |
Discuss BNF |
None |
$root.p should be a constant primary |
| 106 |
Closed |
Discuss |
None |
1127 Unsized literal width issues |
| 108 |
Closed |
Discuss |
None |
1132 A question about interfaces and modports |
| 109 |
Closed |
Discuss |
None |
1136 behavior of task/function output/inout/ref arguments |
| 111 |
Closed |
Discuss |
None |
1149 unpacked structure and array type assignment compatibility |
| 112 |
Closed |
Discuss |
None |
1159 Namespace issue w. struct/union member names? |
| 116 |
Closed |
Discuss |
None |
1175 Enum signedness with unspecified types |
| 117 |
Closed |
Discuss |
None |
1176 Questions about default arguments in tasks/functions |
| 118 |
Closed |
Discuss |
None |
1177 Clarify concatenation of strings with other elements. |
| 122 |
Closed |
Simple |
None |
Paul Graham (pgraham@cadence.com) |
| 124 |
Closed |
Discuss |
Dave Rich |
array and structure expressions ambiguities |
| 131 |
Closed |
Discuss |
None |
keywords as identifiers |
| 133 |
Closed |
Discuss |
None |
1262 wildcard equality |
| 134 |
Closed |
Simple BNF |
None |
new copy constructor not in grammar |
| 137 |
Closed |
Simple BNF |
None |
BNF issues |
| 138 |
Closed |
Simple |
None |
question about type assignment compatibility |
| 141 |
Closed |
Discuss |
None |
1303 Question about array query functions $size, etc. |
| 142 |
Closed |
Discuss |
None |
if statement |
| 159 |
Closed |
Simple |
None |
1394 10.3 Update BNF from LRM45 |
| 162 |
Closed |
Simple |
None |
1396 replication in array literal |