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 |
Status | Count |
---|---|
LRM Integration | 0 |
Proposal | 0 |
Committed | 1 |
Open | 27 |
Pass | 15 |
Update | 58 |
Deferred | 4 |
Closed | 72 |
Total | 177 |