Id Category Summary Resolution Dup ID SV* Vote SV* Comment Champ Rec Champ Vote
V-640 BTF Add 'uwire' net type to enforce single-driver restriction fixed 0 A:1 Francoise abstained, because she hadn't been following the proposal and Wait for VPI Y:4, Appr:1 Francoise voted to approve without waiting for VPI
168 SV-BC Complex Data Types of Wires fixed 0 Y:8 N:2 A:2 For: Dave Rich, Francoise Martinolle, Mark Hartoog, Steven Sharp, Stu Sutherland, Doug Warmke, Kathy McKinley and Jonathan Bradford; Opposed: Cliff Cummings, Surrendra Dudani; Abstain: Brad Pierce, Don Mills Wait for VPI Y:4, Appr:1 Francoise voted to approve without waiting for VPI
V-609 ETF A.8.3-4:string should be a primary not an expression fixed 0 A:1 Stu abstains because he has concerns that it may impact other parts of the LRM that he hasn’t looked at To ETF Y:2; A:1 Bassam and Stu recommend that the ETF do further evaluation of side effects and VPI changes
328 SV-BC Keyword compatibility fixed 0 Y:5 N:1 A:3 For: Stu, Brad, Doug, Don, Kathy, Opposed: Karen: (believes proposal is immature), Abstain: steven: (working on 110, not much time to review), Mark: (awkward to use; would prefer stack instead of requiring the directives in every file). Francoise: Unsure of utility To SV-BC Unanimous SV-BC withdrew this proposal 12/6
50 SV-CC Change DPI svLogicVec32 representation to match PLI/VPI aval/bval representation fixed 0 Y:9 N:4 A:1 For: Francoise, Doug, Bassam, Ralph, JimG, JimV, Steven, Michael, John; Against: Andrzej (Strongly NO. Votum separatum!), Joao, Sachi, Ghassan; Abstain: Rob To SV-CC Unanimous
110 SV-BC SV-BC Issue 36: 1708 Division by 0 in 2-state fixed 0 A:1 Doug would prefer that division by 0 conform to C Approve Unanimous
312 V-PTF PTF 368:  26.3.3 Should vpiLineNo and vpiFile apply to generate objs? fixed 0 A:1 vellenga abstained because he didn't feel qualified to comment Approve Unanimous
V-282 ETF 4.5: sign extension and bit-length rules not clear enough fixed 0 A:1 Ron Goodstein abstains because he is not familiar with the issue Approve Unanimous
V-637 ETF 12.7: missing words fixed 0 A:1 Stu abstains because “it doesn’t feel right.  I can’t say what’s wrong.”   Approve Unanimous
214 SV-BC Time literals fixed 0 A:3 Three abstentions -- Dave Rich, Stu Sutherland, Mark Hartoog. Approve Unanimous
V-547 BTF define size zero replication constant fixed 0 N:1 Brad Pierce opposed, because he felt that a zero-width value was too strange even in this restricted context.  Other reservations that were expressed related to the irregularity of allowing it only in this one context. Approve Unanimous AI: Enhance VPI to support
V-288 ETF 4.1.14: replication operator and function calls fixed 0 Y:3 N:1 A:2 Brad moves that we accept the proposal.  Steven seconds.  Stu is opposed, due to backward compatibility concerns.  Francoise and Steven abstain.  Mark, Brad, and Shalom in favor. Approve Unanimous
314 Encryption Proposal for IP Encryption Format for Verilog fixed 0 Unanimous Approve Unanimous Champions will review prior to P1800 Meeting and raise issues if any found
5 SV-CC Compatibility of Section E.6.7 of SV3.1A with IEEE PLI aval and bval fixed 0 Unanimous Approve Unanimous
6 SV-EC Description of query and inst_query methods fixed 0 Unanimous Approve Unanimous
14 SV-BC signed'{...} and 13'{...} don't make semantic sense duplicate 254 Unanimous Approve Unanimous
19 SV-BC Typo in 23.2 example of $typeof duplicate 91 Unanimous Approve Unanimous
21 SV-BC always_comb 'static prefix' description unclear fixed 0 Unanimous Approve Unanimous
23 SV-BC Update $display and other file I/O system tasks for new data types fixed 0 Unanimous Approve Unanimous
24 SV-BC Restrict hierarchical references in interface port connections not a bug 0 Unanimous Approve Unanimous
26 SV-BC Importing enumeration types and enumeration literals fixed 0 Unanimous Approve Unanimous
32 SV-BC Simultaneous type and value parameter resolution duplicate 254 Unanimous Approve Unanimous
36 SV-BC Permissible parameter values/types fixed 0 Unanimous Approve Unanimous
37 SV-BC Syntax typo in example fixed 0 Unanimous Approve Unanimous
38 SV-BC $bits should not evaluate its argument fixed 0 Unanimous Approve Unanimous
40 SV-CC diagram for parameter is missing fixed 0 Unanimous Approve Unanimous
49 SV-CC Necessity of specifying import fn return type fixed 0 Unanimous Approve Unanimous
51 SV-BC Are integer types a form of a packed array or not? fixed 0 Unanimous Approve Unanimous
58 SV-CC type of vpiTagged property in 31.12 is wrong fixed 0 Unanimous Approve Unanimous
61 SV-CC Meaning of vpiMultiArray depends on 1364 but is in conflict with it fixed 0 Unanimous Approve Unanimous
63 SV-CC Conflicts in notes 2. 4. and 11 of section 31.10 fixed 0 Unanimous Approve Unanimous
64 SV-CC Note 20 of section 31.10 is unclear fixed 0 Unanimous Approve Unanimous
65 SV-CC Note 19 in section 31.10 is wrong fixed 0 Unanimous Approve Unanimous
66 SV-CC Error in VPI assertion traversal examples duplicate 265 Unanimous Approve Unanimous
67 SV-CC Add vpiAssertionType to enumerations duplicate 265 Unanimous Approve Unanimous
69 SV-CC vpi_get()  use vpiAssertionType instead of vpiAssertionDirective duplicate 265 Unanimous Approve Unanimous
70 SV-CC Replace vpiAssertionDirective reference in the index by vpiAssertionType duplicate 265 Unanimous Approve Unanimous
72 SV-CC LRM specifies number references for vpi defines, only to be done in annex fixed 0 Unanimous Approve Unanimous
74 SV-BC Clarification of the interaction between modports and generate block names fixed 0 Unanimous Approve Unanimous
79 SV-CC Clarify TRUE/true and FALSE/false values for VPI object model fixed 0 Unanimous Approve Unanimous
91 SV-BC Sysfunctions with type arguments need to be added to BNF fixed 0 Unanimous Approve Unanimous
92 SV-BC Typo in $typename example fixed 0 Unanimous Approve Unanimous
94 SV-BC SV-BC Issue 6: 1130 questions about structure literals duplicate 254 Unanimous Approve Unanimous
100 SV-BC SV-BC Issue 17: 1372 7.14 type expr in a struct literal duplicate 254 Unanimous Approve Unanimous
101 SV-BC SV-BC Issue 18: 1376 question about $dimensions fixed 0 Unanimous Approve Unanimous
102 SV-BC SV-BC Issue 22: 1389 question about array and struct literals not a bug 0 Unanimous Approve Unanimous
103 SV-BC SV-BC Issue 24: 1395 Questions and potential issue about parameters fixed 0 Unanimous Approve Unanimous
112 SV-BC More on SV-BC Issue 38: Change to casting rules duplicate 254 Unanimous Approve Unanimous
145 SV-BC Jeita 20:  Max uses for time unit? not a bug 0 Unanimous Approve Unanimous
146 SV-BC Jeita 21: Simple explaination in section2 duplicate 254 Unanimous Approve Unanimous
158 SV-CC Restructure sv_vpi_user.h to partition the VPI in a more logical form fixed 0 Unanimous Approve Unanimous
160 SV-CC multiple packed array dimensions (E.6.6, E.10.1 differences) fixed 0 Unanimous Approve Unanimous
169 SV-BC modport task/function prototypes fixed 0 Unanimous Approve Unanimous
170 SV-BC bit-stream casting (section 3.16) fixed 0 Unanimous Approve Unanimous
175 SV-EC Ambiguous ordering of random variables fixed 0 Unanimous Approve Unanimous
176 SV-AC JH1:  font error fixed 0 Unanimous Approve Unanimous
177 SV-AC JH2:  Missing comma fixed 0 Unanimous Approve Unanimous
178 SV-AC JH3:  Inconsistent phrase choice fixed 0 Unanimous Approve Unanimous
179 SV-AC JH4:  Overall operator precedence not defined fixed 0 Unanimous Approve Unanimous
194 SV-AC JH19:  Clarify use of ended and clock flow fixed 0 Unanimous Approve Unanimous
196 SV-AC HM1:  Allow optional argument types in sequences/properties fixed 0 Unanimous Approve Unanimous
201 SV-CC More details needed on DPI string argument handling fixed 0 Unanimous Approve Unanimous
203 SV-EC Section 3.7, delete the sentence "and embedded null bytes are included" not a bug 0 Unanimous Approve Unanimous
206 SV-AC JH21:  Clarification of use of local variables in expressions fixed 0 Unanimous Approve Unanimous
207 SV-AC JH22:  Clarification of passing of $ as sequence argument fixed 0 Unanimous Approve Unanimous
208 SV-AC JH23:  Clarification of differences in argument passing for sequences and properties fixed 0 Unanimous Approve Unanimous
212 SV-BC Missing variable declaration in example duplicate 254 Unanimous Approve Unanimous
213 SV-BC Wildcards fixed 0 Unanimous Approve Unanimous
216 SV-BC Enum initialization fixed 0 Unanimous Approve Unanimous
217 SV-BC Mixed 2/4-state packed structs fixed 0 Unanimous Approve Unanimous
218 SV-BC Unique case/if evaluation order fixed 0 Unanimous Approve Unanimous
220 SV-BC VCD mapping of shortint and longint fixed 0 Unanimous Approve Unanimous
221 SV-BC Warning on reg a = 0 ? fixed 0 Unanimous Approve Unanimous
223 SV-BC Not an "ANSI style declaration" not a bug 0 Unanimous Approve Unanimous
226 SV-BC Uniqueness violation --  warning or error? fixed 0 Unanimous Approve Unanimous
228 SV-AC JH: Strike-through text not deleted fixed 0 Unanimous Approve Unanimous
229 SV-AC Bassam: Syntax 17-12 fixed 0 Unanimous Approve Unanimous
230 SV-AC Section 17.14, page 252(bottom ), 250(middle) examples, missing clock from the properties. fixed 0 Unanimous Approve Unanimous
250 SV-EC bug in 8.5.2 example code fixed 0 Unanimous Approve Unanimous
260 SV-EC distributions an dconstraints solving fixed 0 Unanimous Approve Unanimous
264 SV-CC [SV-CC] sv_vpi_user.h needs to add vpiAssertionType property duplicate 265 Unanimous Approve Unanimous
265 SV-CC sv_vpi_user.h has redundancy fixed 0 Unanimous Approve Unanimous
266 SV-CC [SV-CC] sv_vpi_user.h has an unused vpiSequenceSpec duplicate 265 Unanimous Approve Unanimous
267 SV-CC VPI model for randcase statements (section 12.15) fixed 0 Unanimous Approve Unanimous
269 SV-AC [SV-AC] Asynchronicity of disable iff in relation to the sampling clock fixed 0 Unanimous Approve Unanimous
271 SV-EC Incorrect example of assigning a string to a register in Section 3.7 fixed 0 Unanimous Approve Unanimous
272 SV-BC $readmem/writemem interact with associative arrays in a bad way fixed 0 Unanimous Approve Unanimous
273 SV-BC Programming with unpacked unions containing unpacked struct elements fixed 0 Unanimous Approve Unanimous
276 SV-BC Need to have the LRM reference  Verilog 2005 rather than 2001 fixed 0 Unanimous Approve Unanimous
278 SV-CC contradiction between example 3 in E.9.4 and specification for packed arrays embedded in aggregates fixed 0 Unanimous Approve Unanimous
280 SV-CC List of new vpiOpType operators is incomplete and redundant fixed 0 Unanimous Approve Unanimous
281 SV-CC 31.10 Variables supersedes two sections fixed 0 Unanimous Approve Unanimous
282 SV-CC VPI string value for reg vs. logic var fixed 0 Unanimous Approve Unanimous
283 SV-CC Wrong outline and font for VPI array var objects fixed 0 Unanimous Approve Unanimous
284 SV-CC Should taskfunc have multiple statements fixed 0 Unanimous Approve Unanimous
285 SV-BC Initialization of unions fixed 0 Unanimous Approve Unanimous
288 SV-CC Use a proper typedef for 32-bit values instead of 'unsigned int' fixed 0 Unanimous Approve Unanimous
289 SV-CC In VPI model, "mod port" should be one word fixed 0 Unanimous Approve Unanimous
290 SV-AC DB1:  Recursive properties can define non-regular languages fixed 0 Unanimous Approve Unanimous
291 SV-BC LRM lacks definition of "corresponding array elements" fixed 0 Unanimous Approve Unanimous
292 SV-CC vpi_handle_by_multi_index return types fixed 0 Unanimous Approve Unanimous
293 SV-CC Clean up vpiWaiting/Process typo fixed 0 Unanimous Approve Unanimous
295 SV-CC Is "var bit typespec" superfluous in VPI? fixed 0 Unanimous Approve Unanimous
296 SV-AC clarification on sequence methods fixed 0 Unanimous Approve Unanimous
298 SV-AC Define more precisely expressions in properties fixed 0 Unanimous Approve Unanimous
299 SV-CC typo: Memory should be memories fixed 0 Unanimous Approve Unanimous
300 SV-CC typo: Memory should be memories, primitive should be primitives fixed 0 Unanimous Approve Unanimous
301 SV-CC Is every unpacked array a VPI array var? fixed 0 Unanimous Approve Unanimous
302 SV-BC Improve description of interaction between type parameters and value parameters fixed 0 Unanimous Approve Unanimous
303 V-PTF PTF 342:  Deprecate the PLI 1.0 sections fixed 0 Unanimous Approve Unanimous
307 V-PTF PTF 530:  26.6.17: expr class does not contain vpiTchkTerm - should model different fixed 0 Unanimous Approve Unanimous
308 V-PTF PTF 605:   describe better which condifion trigger action callbacks fixed 0 Unanimous Approve Unanimous
309 V-PTF PTF 622:   Return value for left/right range of unsize parameter fixed 0 Unanimous Approve Unanimous
310 V-PTF PTF 623:   26.6.15 should not be modeled with multiple labels on one transition fixed 0 Unanimous Approve Unanimous
311 V-PTF PTF 329:   27.29: vpi_put_data not used in example fixed 0 Unanimous Approve Unanimous
313 V-PTF PTF 296:   Generate stmts will need change made in VPI fixed 0 Unanimous Approve Unanimous
315 SV-BC bind statement syntax upgrade + semantic clarifications fixed 0 Unanimous Approve Unanimous
316 SV-BC Tweaking the language of 76, 109, 119 fixed 0 Unanimous Approve Unanimous
318 SV-CC Utility fn to reveal if packed type actual form == canonical form fixed 0 Unanimous Approve Unanimous
320 SV-BC Misc. editorial typos in Draft 2 fixed 0 Unanimous Approve Unanimous
321 SV-BC typo in 5.5, clarification on hierarchical references to static objects fixed 0 Unanimous Approve Unanimous
322 SV-BC BNF reconciliation with ETF 483 and 628 and 'uwire' fixed 0 Unanimous Approve Unanimous
323 SV-BC Problem accessing arrays of structs fixed 0 Unanimous Approve Unanimous
326 SV-BC Misc. hyphenation typos fixed 0 Unanimous Approve Unanimous
327 SV-BC Clarification in describing array dimensions fixed 0 Unanimous Approve Unanimous
330 SV-CC Amend errata #205 in light of #288 fixed 0 Unanimous Approve Unanimous
V-331 ETF 19.3.1: when is a `define argument not an argument? fixed 0 Unanimous Approve Unanimous
V-334 ETF 12.7, Example 2: incorrect comment "redundant assignments to reg r" fixed 0 Unanimous Approve Unanimous
V-354 BTF 17.2.8: There is no $feof function fixed 0 Unanimous Approve Unanimous
V-387 BTF calling system tasks at elaboration fixed 0 Unanimous Approve Unanimous
V-390 BTF 17.11: math functions fixed 0 Unanimous Approve Unanimous
V-454 ETF 2.5.1: 2'sb0000000_10 == 2'sb10 ? fixed 0 Unanimous Approve Unanimous
V-483 ETF 4.2: Bit/part-selects of parameters fixed 0 Unanimous Approve Unanimous
V-527 ETF Replication operator on concats involving function calls duplicate 288 Unanimous Approve Unanimous
V-553 ETF 1.2: "can" vs. "may" fixed 0 Unanimous Approve Unanimous
V-611 ETF 14.6.4.2: Errors in last example fixed 0 Unanimous Approve Unanimous
V-617 ETF word "parameter" should be "argument" fixed 0 Unanimous Approve Unanimous
V-628 ETF 13.2, A.1.1: file_path_spec vs. file_path (175B) fixed 0 Unanimous Approve Unanimous
V-632 ETF 2001c: 17.2.1: MSB is 31, not 32 fixed 0 Unanimous Approve Unanimous
V-633 ETF 10.2.2: "concatenation of real" is illegal fixed 0 Unanimous Approve Unanimous
V-635 ETF 2005D4/12.5: overly restrictive hierref limitation fixed 0 Unanimous Approve Unanimous
V-636 ETF 4.2.3.2 et al: null character is "NUL", not "NULL" fixed 0 Unanimous Approve Unanimous
V-639 ETF fix use of "shall" and "may" by IEEE rules fixed 0 Unanimous Approve Unanimous