1364 Issue List

Source ISSUE SVDB Assignee SV-BC Disposition 1364
State
Class Release Originator Arrival-Date Synopsis Proposal
BTF Proposal 61 Matt
Maidment
0001120 proposal enhancement 2001b Shalom.Bresticker@motorola.com 12/02/01 add enumerated data type   
BTF Proposal 62 Matt
Maidment
0001121 proposal enhancement 2001b Shalom.Bresticker@motorola.com 12/02/01 add record/structure data type  
BTF Proposal 280 Matt
Maidment
0001122 proposal enhancement 2001b Shalom.Bresticker@motorola.com 01/30/03 turn xrefs blue and/or underlined  
BTF Proposal 350 Matt
Maidment
0001123 proposal enhancement 2001b sharp@cadence.com 05/19/03 Proposal to deprecate configs in Verilog source files  
BTF Proposal 392 Matt
Maidment
0001124 proposal enhancement 2001b sharp@cadence.com 07/09/03 break/continue statements to break out of loops  
BTF Proposal 430 Matt
Maidment
0001125 proposal enhancement 2005 Jay Lawrence - Cadence Design Systems 08/22/03 Add `pragma compiler directive  
BTF Proposal 431 Matt
Maidment
0001126 proposal enhancement 2001b Jay Lawrence - Cadence Design Systems 08/22/03 Add language defined attribute capability  
BTF Proposal 432 Matt
Maidment
0001127 proposal enhancement 2001b Jay Lawrence - Cadence Design Systems 08/22/03 Add shared declaration mechanism to Verilog - packages  
BTF Proposal 436 Matt
Maidment
0001128 proposal enhancement 2001b Jay Lawrence - Cadence Design Systems 08/22/03 Non-blocking event trigger  
BTF Proposal 442 Matt
Maidment
0001129 proposal enhancement 2001b Jay Lawrence - Cadence Design Systems 08/25/03 Add auto-increment and auto-decrement statements  
BTF Proposal 542 Matt
Maidment
0001130 proposal enhancement   Kausik Datta 02/12/04 non_zero_unsigned_number and non_zero_decimal_digit is not supported by industry standard tools  
BTF Enhancement 4 Matt
Maidment
0001131 open enhancement 2001b Shalom Bresticker 07/24/01 Allow assignment to an array  
BTF Enhancement 58 Matt
Maidment
0001132 open enhancement 2001b Shalom Bresticker 11/20/01 allow force on memory word or bit-/part-select of vector variable  
BTF Enhancement 183 Matt
Maidment
0001133 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 11/05/02 allow reverse part-select [lsb:msb]  
BTF Enhancement 191 Matt
Maidment
0001134 open enhancement 2001b: 3.11.2, 12.1, A.1.4 Shalom Bresticker 11/14/02 Add localparam to ANSI-type param list  
BTF Enhancement 201 Matt
Maidment
0001135 open enhancement 2001b Shalom.Bresticker@motorola.com 11/19/02 module instance without parentheses  
BTF Enhancement 220 Matt
Maidment
0001136 open enhancement 2001b sharp@cadence.com 12/16/02 $random functions not 64-bit portable  
BTF Enhancement 240 Matt
Maidment
0001137 open enhancement 2001b Shalom.Bresticker@motorola.com 01/01/03 Allow initializing declarations in named blocks, tasks, functions  
BTF Enhancement 293 Brad
Pierce
0001173 open enhancement 2001b Kurt Baty <kurt@wsfdb.wsfdb.com> 03/05/03 variable width floating point in Verilog 200X  
BTF Enhancement 297 Brad
Pierce
0001174 open enhancement 2001b sharp@cadence.com 03/10/03 Allow instance array connected to data array  
BTF Enhancement 298 Brad
Pierce
0001175 open enhancement 2001b sharp@cadence.com 03/10/03 Add field widths to print formats  
BTF Enhancement 357 Brad
Pierce
0001176 open enhancement 2005 Jay Lawrence - Cadence Design Systems 06/02/03 Proposal for Extending Verilog Data Types  
BTF Enhancement 358 Brad
Pierce
0001177 open enhancement 2005 Jay Lawrence - Cadence Design Systems 06/02/03 Proposal for IP Encryption Format for Verilog  
BTF Enhancement 359 Brad
Pierce
0001178 open enhancement 2005 Jay Lawrence - Cadence Design Systems 06/02/03 Proposal for Randomization and Constraints  
BTF Enhancement 378 Brad
Pierce
0001179 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 07/07/03 add Quick Reference  
BTF Enhancement 381 Brad
Pierce
0001180 analyzed enhancement 2001b sharp@cadence.com 07/09/03 table model system task  
BTF Enhancement 382 Brad
Pierce
0001181 open enhancement 2001b sharp@cadence.com 07/09/03 add view configurations  
BTF Enhancement 383 Brad
Pierce
0001182 open enhancement 2001b sharp@cadence.com 07/09/03 add inherited connections  
BTF Enhancement 384 Brad
Pierce
0001183 open enhancement 2001b sharp@cadence.com 07/09/03 add mfactor parameters  
BTF Enhancement 385 Brad
Pierce
0001184 open enhancement 2001b sharp@cadence.com 07/09/03 interconnect net that resolves to type  
BTF Enhancement 386 Brad
Pierce
0001185 analyzed enhancement 2001b sharp@cadence.com 07/09/03 user defined functions on instantiations  
BTF Enhancement 388 Brad
Pierce
0001186 open enhancement 2001b sharp@cadence.com 07/09/03 genvar in behavior  
BTF Enhancement 389 Brad
Pierce
0001187 open enhancement 2001b sharp@cadence.com 07/09/03 dynamic param  
BTF Enhancement 391 Brad
Pierce
0001188 open enhancement 2001b sharp@cadence.com 07/09/03 wreal type  
BTF Enhancement 400 Brad
Pierce
0001189 open enhancement 2001b: 4.1.5 Shalom.Bresticker@motorola.com 07/25/03 reduce arithmetic operators x-pessimism  
BTF Enhancement 401 Brad
Pierce
0001190 open enhancement 2001b: 4.1.7 Shalom.Bresticker@motorola.com 07/25/03 reduce relational operators x-pessimism  
BTF Enhancement 404 Brad
Pierce
0001191 open enhancement 2001b Shalom.Bresticker@motorola.com 07/27/03 add wildcards for equality operators  
BTF Enhancement 405 Shalom
Bresticker
0000981 open enhancement 2001b Shalom.Bresticker@motorola.com 07/27/03 add ranges for equality operators  
BTF Enhancement 406 Shalom
Bresticker
0000983 open enhancement 2001b Shalom.Bresticker@motorola.com 07/27/03 add lists for equality operators  
BTF Enhancement 409 Shalom
Bresticker
0001009 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 07/28/03 lists in part-selects  
BTF Enhancement 411 Shalom
Bresticker
0001016 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 07/31/03 extend operators to vectors and arrays  
BTF Enhancement 414 Shalom
Bresticker
0001017 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/02/03 rotate operator  
BTF Enhancement 419 Shalom
Bresticker
0001030 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/18/03 reconsider for 1364-2005 proposals made for 1364-2001  
BTF Enhancement 421 Shalom
Bresticker
0001031 open enhancement 2001b: 17.9.3 Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/18/03 17.9.3: move to Annex  
BTF Enhancement 422 Shalom
Bresticker
0001032 open enhancement 2001b: 18 Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/18/03 18: extend $dumpvars to exclude a signal or module  
BTF Enhancement 427 Shalom
Bresticker
0001033 open enhancement 2001b: 4.1.3, 4.1.6 Shalom.Bresticker@motorola.com 08/22/03 combine 4.1.3 and 4.1.6  
BTF Enhancement 429 Shalom
Bresticker
0001036 open enhancement 2001b Stefen Boyd <stefen@boyd.com> 08/22/03 Incorporate by reference Accellera PSL  
BTF Enhancement 435 Shalom
Bresticker
0001037 open enhancement 2005 Francoise Martinolle 08/22/03 Verilog transaction recording extensions  
BTF Enhancement 438 Shalom
Bresticker
0001059 open enhancement 2005 Yaron Kashai 08/24/03 Verification extensions for Verilog  
BTF Enhancement 443 Shalom
Bresticker
0001060 open enhancement 2001b Jay Lawrence - Cadence Design Systems 08/25/03 Allow modules to be passed through ports  
BTF Enhancement 447 Shalom
Bresticker
0001084 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/26/03 `ifdef boolean combination of identifiers  
BTF Enhancement 448 Shalom
Bresticker
0001085 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/26/03 extend new file i/o to allow combinations of fd's  
BTF Enhancement 450 Shalom
Bresticker
0001086 open enhancement 2001b Stephen Williams <steve@icarus.com> 08/26/03 Compressed Assignment Satements  
BTF Enhancement 451 Shalom
Bresticker
0001089 open enhancement 2001b: C,D Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/27/03 review Annex C and D  
BTF Enhancement 453 Shalom
Bresticker
0001090 open enhancement 2001b sharp@cadence.com 08/28/03 add `undefineall functionality  
BTF Enhancement 455 Shalom
Bresticker
0001091 open enhancement 2005 atsushi@jedatechnologies.com 08/30/03 Jeda Verification Enhancements  
BTF Enhancement 457 Cliff
Cummings
0001192 open enhancement 2001b: Index Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/31/03 extend index to complete 1364-2001  
BTF Enhancement 458 Cliff
Cummings
0001193 open enhancement 2001b: Index Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/31/03 extend index to cover 1364-2005 enhancements  
BTF Enhancement 466 Cliff
Cummings
0001195 open enhancement 2005 Fintronic USA, Inc. 09/09/03 Separate Compilation  
BTF Enhancement 473 Cliff
Cummings
0001196 open enhancement 2001b Adam Krolnik 09/16/03 Preprocessor directive for user defined preprocessor  
BTF Enhancement 474 Cliff
Cummings
0001197 open enhancement 2001b Adam Krolnik 09/16/03 First class part selection operator  
BTF Enhancement 475 Cliff
Cummings
0001198 open enhancement 2001b Adam Krolnik 09/16/03 Support a container to define how to interface to a set of signals.  
BTF Enhancement 476 Cliff
Cummings
0001199 open enhancement 2001b Adam Krolnik 09/16/03 Standard reporting mechanism for functional errors/warnings, etc.  
BTF Enhancement 477 Cliff
Cummings
0001200 open enhancement 2001b Adam Krolnik 09/16/03 Provide an assertion statement with the capability to use industry standard property specification.  
BTF Enhancement 478 Cliff
Cummings
0001201 open enhancement 2001b Adam Krolnik 09/16/03 Provide part selection of a structure  
BTF Enhancement 481 Cliff
Cummings
0001202 open enhancement 2001b Shalom.Bresticker@motorola.com 09/18/03 define standard preprocessor  
BTF Enhancement 482 Cliff
Cummings
0001203 open enhancement 2001b Shalom.Bresticker@motorola.com 09/18/03 add standard way to define functional coverage points  
BTF Enhancement 492 Cliff
Cummings
0001204 open enhancement 2001b Shalom.Bresticker@motorola.com 10/11/03 add lists of figures, tables, syntaxes  
BTF Enhancement 497 Cliff
Cummings
0001205 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 10/28/03 add glossary section  
BTF Enhancement 498 Cliff
Cummings
0001206 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 11/03/03 system function/task to extract timescale info to variables  
BTF Enhancement 502 Cliff
Cummings
0001207 open enhancement 2001b Shalom.Bresticker@motorola.com 11/05/03 Dynamic Values on attributes  
BTF Enhancement 508 Cliff
Cummings
0001208 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 11/17/03 add arrays of `defines  
BTF Enhancement 509 Cliff
Cummings
0001209 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 11/17/03 add arrays of parameters  
BTF Enhancement 514 Cliff
Cummings
0001210 open enhancement 2001b Shalom.Bresticker@motorola.com 12/04/03 config file should support module and primitive arrays  
BTF Enhancement 519 Cliff
Cummings
0001211 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 12/18/03 system function to get signal strength  
BTF Enhancement 520 Surrendra
Dudani
0001139 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 12/25/03 3.3.2: deprecate "scalared" and "vectored" keywords  
BTF Enhancement 528 Surrendra
Dudani
0001140 open enhancement   Steven Sharp 01/19/04 SDF should support $timeskew and $fullskew  
BTF Enhancement 529 Surrendra
Dudani
0001141 open enhancement   Shalom.Bresticker@motorola.com 01/20/04 Add "bidirectional skew" timing check  
BTF Enhancement 532 Surrendra
Dudani
0001142 open enhancement 2001b: 18 Shalom Bresticker <Shalom.Bresticker@motorola.com> 01/27/04 new, binary dump format in addition to vcd  
BTF Enhancement 537 Surrendra
Dudani
0001143 open enhancement 2001b Shalom.Bresticker@motorola.com 02/08/04 allow unsized numbers and integer variables in concatenations  
BTF Enhancement 545 Surrendra
Dudani
0001144 open enhancement 2001c: 4.2.1, 4.2.2 Shalom Bresticker <Shalom.Bresticker@motorola.com> 02/16/04 4.2.1, 4.2.2: out of bounds addressing  
BTF Enhancement 548 Surrendra
Dudani
0001145 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 02/24/04 support SDF RETAIN?  
BTF Enhancement 558 Surrendra
Dudani
0001146 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 03/11/04 allow multidimensional arrays of modules  
BTF Enhancement 565 Surrendra
Dudani
0001147 open enhancement 2005 Shalom.Bresticker@motorola.com 03/18/04 find way to embed PSL  
BTF Enhancement 571 Surrendra
Dudani
0001148 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 04/14/04 review explicit restrictions in LRM  
BTF Enhancement 572 Surrendra
Dudani
0001149 open enhancement 2001b Shalom.Bresticker@motorola.com 04/27/04 multidimensional instance arrays  
BTF Enhancement 573 Surrendra
Dudani
0001150 open enhancement 2001b Shalom.Bresticker@motorola.com 04/27/04 loops within concatenations?  
BTF Enhancement 577 Surrendra
Dudani
0001151 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 04/29/04 tables of BNF non-terminal references  
BTF Enhancement 580 Surrendra
Dudani
0001152 open enhancement   sharp@cadence.com (Behavioral Task Force) 05/05/04 Add some system functions for use in constant expressions  
BTF Enhancement 585 Surrendra
Dudani
0001153 open enhancement   Shalom Bresticker <Shalom.Bresticker@freescale.com> 06/03/04 parameterized task/function extensions  
BTF Enhancement 588 Surrendra
Dudani
0001154 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 06/14/04 Add ranges to case_item expressions  
BTF Enhancement 589 Surrendra
Dudani
0001155 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 06/14/04 x-pessimism for if statements  
BTF Enhancement 590 Surrendra
Dudani
0001156 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 06/14/04 vector version of ?: operator  
BTF Enhancement 593 Surrendra
Dudani
0001157 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 07/19/04 Continuous assignment case expressions  
BTF Enhancement 594 Mark
Hartoog
0001273 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 07/19/04 Allowing parameters to define the length of a constant  
BTF Enhancement 595 Mark
Hartoog
0001274 open enhancement 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 07/19/04 Ability to initialize variables to 0, 1, or random instead  
ETF Passed 287 Mark
Hartoog
Closed per SVDB 0000687     2001b     `compatibility - backward compatibility compiler directives "Proposal to take 1800, 26.4 and make it 19.11 (omitting P1800-2005 version specifier), and update the cross-ref list at beginning of clause 19 to include `pragma, `begin_kewords and `end_keywords. Also remove any other references to SystemVerilog.
Moved: Chas
Second: Stu
Approved Unanimously."
ETF Passed 465 Mark
Hartoog
Propose Closure: Resolved by ETF 483     2001b: 3.2.1, 3.2.2, 3.6     3.2, 3.6: net and variable initialization descriptions Close this issue.
It was dealt with in part 3 of the Fix to # 483.
ETF Passed 486 Mark
Hartoog
0001275     2001b: 12.3.3     12.3.3: Implicit nets are not necessarily unsigned In 12.3.3, REPLACE
Implicit nets shall be considered unsigned. Nets connected to ports without an explicit net declaration shall
be considered unsigned, unless the port is declared as signed.
WITH
Nets connected to ports without an explicit net declaration shall be considered unsigned, unless the port is declared as signed. Other implicit nets (see 3.5) shall be considered unsigned.
and REPLACE
input [7:0] a; // no explicit declaration - net is unsigned
WITH
input [7:0] a; // no explicit net declaration - net is unsigned
and REPLACE
output [7:0] e; // no explicit declaration - net is unsigned
WITH
output [7:0] e; // no explicit net declaration - net is unsigned
ETF Passed 613 Mark
Hartoog
Closed per SVDB 0000704           Incorrect specification of $removal (15.2.4) To correct the issue, Table 15-4 on page 253 should be changed as follows: The description for reference event should be 'Timecheck event' and the description for data_event should be ' Timestamp event'.
ETF Passed 619 Mark
Hartoog
0001276           What is the width of a range with z and x's in the bounds? In 3.3.1, REPLACE
"The msb and lsb constant expressions may be any integer value -- positive, negative or zero."
WITH
"The msb and lsb constant expressions may be any integer values -- positive, negative or zero. It shall be illegal for them to contain any unknown (x) or high-impedance bits."
In 3.9, REPLACE
"The value of the constant expression can be a positive integer, a negative integer or zero."
WITH
"The constant expressions may be any integer values -- positive, negative or zero. It shall be illegal for them to contain any unknown (x) or high-impedance bits."
ETF Passed 645 Mark
Hartoog
0001277     2001b     7.1.2: pulldown strength specification ambiguity In 7.1.2,
CHANGE
"The pullup gate can have only strength1 specification;
strength0 specification shall be optional.
The pulldown gate can have only strength0 specification;
strength1 specification shall be optional.
See 7.8 for more details."
TO
The pullup gate shall have one of the following: no strength specification, only a strength1 specification, or both strength1 and strength0 specifications. The pulldown gate shall have one of the following: no strength specification, only a strength0 specification, or both strength1 and strength0 specifications. See 7.8 for more details."
ETF Passed 646 Mark
Hartoog
0001277     2001b     "initial" and "always" "constructs" Change all references to 'initial' and 'always' constructs
to use the term 'construct' where another term such as
'block' was used.
ETF Proposal 428 Mark
Hartoog
0001281 proposal errata-discuss 2001c: 2.5.1 "Brad Pierce" <Brad.Pierce@synopsys.com> 08/22/03 2.5.1: value of 16'shc, request for clarification  
ETF Proposal 634 Mark
Hartoog
0001282 proposal errata-simple 2001c: 3.11.1 Shalom.Bresticker@freescale.com (Behavioral Task Force) 11/16/04 3.11.1: When is a parameter not a parameter?  
ETF Proposal 651 Mark
Hartoog
0001283 proposal errata-simple 2001b: 14.2.4.2 Shalom Bresticker <Shalom.Bresticker@freescale.com> 02/15/05 14.2.4.2, Example 2: last => should be *>  
ETF Proposal 653 Mark
Hartoog
0001284 proposal errata-simple 2005D6: A.7.2, A.7.4 Shalom Bresticker <Shalom.Bresticker@freescale.com> 03/03/05 2005D6, A.7.4: edge_sensitive_path_declaration should be in A.7.2  
ETF Proposal 659 Mark
Hartoog
0001285 proposal errata-discuss 2005/D6: 15.3.3 Shalom.Bresticker@freescale.com 04/11/05 2005/D6, 15.3.3: $fullskew bugs  
Open Errata 22 Mark
Hartoog
0001286 analyzed errata-discuss 2001b: A.6.5 Shalom Bresticker, Motorola 08/27/01 @* should have a space ?  
Open Errata 37 Mark
Hartoog
0001287 open errata-discuss 2001b Daryl Stewart 09/28/01 Possible syntax restrictions on periods  
Open Errata 48 Mark
Hartoog
0001288 open errata-discuss 2001b: 6.1.3   10/14/01 6.1.3: wire delays and continuous assigns  
Open Errata 54 Mark
Hartoog
0001289 open errata-discuss 2001b, 5.6.6, 12.3.9.2, 12.3.8 Shalom.Bresticker@motorola.com 10/16/01 5.6.6 Port connections - inaccurate description  
Open Errata 57 Mark
Hartoog
0001290 open errata-discuss 2001b: 5 Shalom.Bresticker@motorola.com 10/24/01 5: scheduling  
Open Errata 72 Dan
Jacobi
0001000 open errata-discuss 2001b, 18.4.3.2 chas@cadence.com 07/15/02 $dumpports as specified in useless  
Open Errata 80 Dan
Jacobi
0001007 open errata-simple 2001b, 17.2.7 Daryl.Stewart@cl.cam.ac.uk 07/29/02 17.2.7 omits description of use of fd  
Open Errata 81 Dan
Jacobi
0001008 open errata-simple 2001b, 4.1.9, 4.5.1 Paul Graham (pgraham@cadence.com) 07/29/02 4.1.9, 4.5.1 are not clear how && and || work  
Open Errata 82 Dan
Jacobi
0001010 open errata-discuss 2001b: 9.7.5 Dennis Marsa 07/30/02 9.7.5: Description of @*, @(*) incomplete  
Open Errata 83 Dan
Jacobi
0001011 open errata-discuss 2001b: 4.5 Dennis Marsa 07/30/02 4.5: Expression type/evaluation issues with real operands  
Open Errata 84 Dan
Jacobi
0001012 open errata-discuss 2001b: 9.7.5 sharp@cadence.com 07/30/02 9.7.5: Should @* include delay controls?  
Open Errata 88 Dan
Jacobi
0001013 open errata-discuss 2001b, 9.7.2, 9.7.4 Steven Sharp <sharp@cadence.com> 07/31/02 9.7.2 should say that event_controls can be expressions  
Open Errata 90 Dan
Jacobi
0001014 open errata-discuss 2001b, 19 Dennis Marsa <drm@xilinx.com> 08/05/02 19:unclear which compiler directives must be alone on line  
Open Errata 98 Dan
Jacobi
0001015 open errata-simple 2001b: 17.10.2 Charles Dawson 08/14/02 17.10.2: leading zero in format makes no sense  
Open Errata 99 Dan
Jacobi
0001019 open errata-discuss 2001b: Annex B sharp@cadence.com 08/17/02 Annex B: include, incdir, library listed as reserved  
Open Errata 105 Dan
Jacobi
0001020 open errata-discuss 2001b: 10.3 sharp@cadence.com 08/22/02 10.3: return value of automatic function not initialized  
Open Errata 107 Dan
Jacobi
0001021 open errata-discuss 2001b Section 13.2.1.1 sharp@cadence.com 08/26/02 Config and module of same name in same library?  
Open Errata 108 Dan
Jacobi
0001022 open errata-simple 2001b Section 13.3.1.2 sharp@cadence.com 08/26/02 Only one default clause in config?  
Open Errata 110 Dan
Jacobi
0001023 open errata-simple 2001b: 18.4.3.1 hgupta@cadence.com 09/09/02 18.4.3.1: $dumpports for supply nets  
Open Errata 111 Dan
Jacobi
0001024 open errata-discuss 2001b: 17.2.4.4 Charles Dawson 09/09/02 17.2.4.4: How should $fread deal with partial data to a memory?  
Open Errata 135 Dan
Jacobi
0001025 open errata-simple 2001b, 13.1.1 Shalom Bresticker 09/29/02 13.1.1: library_cell is defined but not used  
Open Errata 170 Dan
Jacobi
0001026 analyzed errata-discuss 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 10/24/02 formatting of bnf non-terminals  
Open Errata 172 Dan
Jacobi
0001027 open errata-discuss 2001b: 3.5 Shalom Bresticker <Shalom.Bresticker@motorola.com> 10/24/02 3.5 Implicit Declarations - moved from #125B  
Open Errata 175 Dan
Jacobi
0001028 open errata-discuss 2001b: 13.2 Shalom Bresticker <Shalom.Bresticker@motorola.com> 10/27/02 13.2: file_path_spec syntax and related issues  
Open Errata 189 Francoise
Martinolle
0001160 open enhancement 2001b: 12.1 "Brad Pierce" <Brad.Pierce@synopsys.com> 11/11/02 12.1, macromodule needs clarification  
Open Errata 198 Francoise
Martinolle
0001161 open errata-discuss 2001b: 12.3.9.2 Shalom.Bresticker@motorola.com 11/19/02 12.3.9.2: sinks should allow only constant part-selects  
Open Errata 203 Francoise
Martinolle
0001162 open errata-discuss 2001b: A.1.4 Dennis Marsa <drm@xilinx.com> 11/19/02 A.1.4: list_of_port_declarations BNF rule  
Open Errata 204 Francoise
Martinolle
0001163 open errata-discuss 2001b: 12.3.2 "Brad Pierce" <Brad.Pierce@synopsys.com> 11/20/02 12.3.2, port definition names  
Open Errata 212 Francoise
Martinolle
0001166 open errata-discuss 2001b: 13.2 sharp@cadence.com 12/07/02 Section 13.2 does not describe -incdir  
Open Errata 215 Francoise
Martinolle
0001167 open errata-discuss 2001b: 2.5.1 et al Shalom.Bresticker@motorola.com 12/11/02 need to clarify signedness  
Open Errata 227 Francoise
Martinolle
0001169 open errata-discuss 2001b "Brad Pierce" <Brad.Pierce@synopsys.com> 12/23/02 task/function port lists and internal block item declarations  
Open Errata 233 Francoise
Martinolle
0001170 open errata-discuss 2001b: 12.3.4 "Brad Pierce" <Brad.Pierce@synopsys.com> 12/25/02 12.3.4: nonport declarations for identifiers mentioned in list_of_port_declarations  
Open Errata 234 Francoise
Martinolle
0001171 open errata-discuss 2001b: 12.3 "Brad Pierce" <Brad.Pierce@synopsys.com> 12/25/02 12.3.{2,3,6}, named port connections for implicit ports with same name  
Open Errata 237 Francoise
Martinolle
0001172 open errata-discuss 2001b: 15.1, 15.6, A.7.5.3 Dan.Jacobi@intel.com 12/29/02 15.1, 15.6, A.7.5.3: scalar_timing_check_expressions has redundancies  
Open Errata 245 Francoise
Martinolle
0001194 open errata-discuss 2001b: 12.2 Shalom.Bresticker@motorola.com 01/05/03 12.2: confusing  
Open Errata 247 Francoise
Martinolle
0001219 open errata-discuss 2001b: 7.1.5, 12.1.2, 12.4 Paul Graham 01/05/03 12.4 et al: hierarchical references to instance array  
Open Errata 248 Francoise
Martinolle
0001220 open errata-discuss 2001b: 3.12, 13 Shalom.Bresticker@motorola.com 01/05/03 3.12: configurations, modules, and name spaces  
Open Errata 254 Francoise
Martinolle
0001221 open errata-discuss 2001b: 3.10, 4.2, 6, 9.2, 12.3.9.2 Shalom.Bresticker@motorola.com 01/09/03 Table 30 should clarify that LHS can be array word or select  
Open Errata 255 Francoise
Martinolle
0001222 open errata-discuss 2001b Shalom.Bresticker@motorola.com 01/12/03 clarify explicitly whether a module may instantiate itself  
Open Errata 256 Francoise
Martinolle
0001223 open errata-simple 2001b: Annex A Shalom.Bresticker@motorola.com 01/12/03 red hyperlinked BNF?  
Open Errata 272 Francoise
Martinolle
0001224 analyzed errata-discuss 2001b: Syntax 12-2, A.4.1 "Brad Pierce" <Brad.Pierce@synopsys.com> 01/24/03 Nonconstant parameter assignments in module instantiations (A.4.1)  
Open Errata 273 Francoise
Martinolle
0001225 open errata-discuss 2001b: 4. Shalom.Bresticker@motorola.com 01/25/03 LRM does not specify result of real division by 0  
Open Errata 274 Francoise
Martinolle
0001226 open errata-discuss 2001b: 17.1 Shalom Bresticker <Shalom.Bresticker@motorola.com> 01/26/03 LRM does not specify how Infinity and NaNs to be displayed for  
Open Errata 278 Karen
Pieper
0001101 open errata-simple 2001b: 17.1.1 Shalom.Bresticker@motorola.com 01/30/03 17.1.1: not clear how "\a" is interpreted  
Open Errata 285 Karen
Pieper
0001102 open errata-discuss 2001b: 18.1.3 Stephen Williams <steve@icarus.com> 02/18/03 18.1.3: VCD $dumpoff and real values  
Open Errata 290 Karen
Pieper
0001103 open errata-discuss 2001b: 2.7.1, 2.7.3 "Brad Pierce" <Brad.Pierce@synopsys.com> 03/02/03 2.7: Escaping keyword identifiers  
Open Errata 292 Karen
Pieper
0001104 open errata-discuss 2001b: 12.3.3 "Brad Pierce" <Brad.Pierce@synopsys.com> 03/04/03 12.3.3 : net declaration before port declaration  
Open Errata 302 Karen
Pieper
0001105 open errata-simple 2001b sharp@cadence.com 03/20/03 Why only ranges on specparams (A2.1.1)  
Open Errata 318 Karen
Pieper
0001106 open errata-simple 2001b: 9.3.2 "Brad Pierce" <Brad.Pierce@synopsys.com> 04/01/03 Table 30, 9.3.2, procedural assign to nonconstant part select and force of nonconstant bit-select  
Open Errata 321 Karen
Pieper
0001107 open errata-discuss 2001b: Table 29, 4.1.14, 2.5.1(3), 3.9, 9.5 "Brad Pierce" <Brad.Pierce@synopsys.com> 04/04/03 Table 29, 4.1.14, 2.5.1(3), 3.9, 9.5 -- size of unsized numbers and integer variables  
Open Errata 323 Karen
Pieper
0001108 open errata-simple 2001b: NOTES Shalom.Bresticker@motorola.com 04/08/03 Some NOTES should be normative  
Open Errata 324 Karen
Pieper
0001109 open errata-discuss 2001b: 15.1, A.7.5.2 "Brad Pierce" <Brad.Pierce@synopsys.com> 04/09/03 15.1, A.7.5.2 -- Should timing_check_limit be constant_expression?  
Open Errata 326 Karen
Pieper
0001110 open errata-discuss 2001b Vassilios.Gerousis@infineon.com 04/11/03 [sv-ec] Handling of escaped identifiers.  
Open Errata 332 Karen
Pieper
0001111 open errata-discuss 2001b: 12.3.3 "Brad Pierce" <Brad.Pierce@synopsys.com> 04/15/03 12.3.3 -- port direction declarations that don't mention the size of port  
Open Errata 336 Karen
Pieper
0001112 open errata-discuss 2001b: 26.6.42, Annex A sharp@cadence.com 04/28/03 Attributes in VPI but not in BNF (26.6.42 vs Appendix A)  
Open Errata 344 Karen
Pieper
0001113 analyzed doc-bug 2001b: 9.5 Stephen Williams <steve@icarus.com> 05/07/03 9.5: Case Statements with Real Expressions  
Open Errata 353 Karen
Pieper
0001114 open errata-discuss 2001b: 1.2 Shalom Bresticker <Shalom.Bresticker@motorola.com> 05/28/03 1.2: clarify terms like "undefined"  
Open Errata 355 Karen
Pieper
0001115 open errata-simple 2001b: 3.7, 7.10, 7.13 Shalom Bresticker <Shalom.Bresticker@motorola.com> 06/01/03 3.7 and 7.10,7.13: need xrefs  
Open Errata 360 Karen
Pieper
0001116 open errata-discuss 2001b:D.3-D.6 Shalom.Bresticker@motorola.com 06/08/03 D.3-D.6: delay modes not defined  
Open Errata 362 Karen
Pieper
0001117 open errata-discuss 2001b: 15 Shalom.Bresticker@motorola.com 06/08/03 15: notifier is reg only?  
Open Errata 363 Karen
Pieper
0001118 open errata-discuss 2001b: 15.5.1-15.5.4 Shalom.Bresticker@motorola.com 06/08/03 15.5.1-15.5.4: neg timing checks only?  
Open Errata 364 Karen
Pieper
0001119 open errata-discuss 2001b: 19.3 Stephen Williams <steve@icarus.com> 06/15/03 19.3: Preprocessor macros within strings  
Open Errata 372 Dave
Rich
0000986 open errata-discuss 2001b: 13.1-13.4 Hemant Gupta <hgupta@cadence.com> 06/26/03 13: Errata on Verilog configurations  
Open Errata 375 Dave
Rich
0000987 open errata-simple 2001b: A.1.5, A.7.1 sharp@cadence.com 06/26/03 A.1.5, A.7.1: Consistency on attributes on specparams  
Open Errata 394 Dave
Rich
0000988 open errata-discuss 2001b: 17.10.2 Gordon Vreugdenhil <gvreugde@Synopsys.COM> 07/14/03 17.10.2: Meaning of special characters in $value$plusargs  
Open Errata 395 Dave
Rich
0000989 open errata-simple 2001b: 3.9.1 Shalom.Bresticker@motorola.com 07/16/03 3.9.1: content overlaps end of 3.9 + other problems  
Open Errata 416 Dave
Rich
0000990 open errata-discuss 2001b Shalom.Bresticker@motorola.com 08/14/03 check use of constant_expression  
Open Errata 417 Dave
Rich
0000991 open errata-simple 2001b: 2, 12 Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/15/03 2, 12: improving syntax boxes  
Open Errata 418 Dave
Rich
0000992 open errata-discuss 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/18/03 review 1364-2001 ballot comments and responses  
Open Errata 423 Dave
Rich
0000993 open errata-discuss 2001b sharp@cadence.com 08/19/03 17.2.4.3 $sscanf and x/z  
Open Errata 424 Dave
Rich
0000994 open errata-simple 2001b Jay Lawrence - Cadence Design Systems 08/21/03 Clarify terms "design unit", "description" and "hardware description"  
Open Errata 444 Dave
Rich
0000995 open errata-simple 2001b: 17.2.4.3, 17.2.5 Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/25/03 17.2.4.3, 17.2.5: returning EOF  
Open Errata 446 Dave
Rich
0000996 open errata-discuss 2001b: 17.2.4 sharp@cadence.com 08/25/03 17.2.4 gives incorrect modes for reading  
Open Errata 449 Dave
Rich
0000997 open errata-discuss 2001b: 4.1.4 "Brad Pierce" <Brad.Pierce@synopsys.com> 08/26/03 4.1.4 -- expression evaluation short circuiting  
Open Errata 452 Dave
Rich
0000998 open errata-simple 2001b: 10.2.2, 10.3.1 "Brad Pierce" <Brad.Pierce@synopsys.com> 08/27/03 10.2.2, 10.3.1: 'reg' keyword in tf port declarations  
Open Errata 456 Dave
Rich
0000999 open errata-discuss 2001b: index Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/31/03 check index  
Open Errata 459 Dave
Rich
0001002 open errata-discuss 2001b: 9.2 Shalom Bresticker <Shalom.Bresticker@motorola.com> 08/31/03 9.2: assignment variable_lvalue evaluation order question  
Open Errata 460 Dave
Rich
0001003 open errata-simple 2001b: 9.6, 9.7.7 Shalom Bresticker <Shalom.Bresticker@motorola.com> 09/02/03 9.6, 9.7.7: neg/x/z repeat count  
Open Errata 463 Dave
Rich
0001004 open errata-discuss 2001b: 4.1.10,4.1.13 "Brad Pierce" <Brad.Pierce@synopsys.com> 09/04/03 4.1.13: Zero fill in ?: even if signed or x/z  
Open Errata 468 Dave
Rich
0001005 open errata-simple 2001b: 4.2.1 Krishna Garlapati <krishna@synplicity.com> 09/14/03 4.2.1: Vector bit-select and part-select addressing  
Open Errata 469 Dave
Rich
0001006 open errata-discuss 2001b: 19.6 "Brad Pierce" <Brad.Pierce@synopsys.com> 09/14/03 19.6: can `resetall occur within a module definition?  
Open Errata 471 Steven
Sharp
0001062 open errata-discuss 2001b: 5.6 Stephen Williams <steve@icarus.com> 09/14/03 5.6: Synchronous (Sequential) UDP Scheduling Semantics  
Open Errata 472 Steven
Sharp
0001063 open errata-simple 2001b: 2.5.1 "Brad Pierce" <Brad.Pierce@synopsys.com> 09/16/03 2.5.1: underscore characters legal anywhere in a number?  
Open Errata 485 Steven
Sharp
0001064 open errata-discuss 2001b Stephen Williams <steve@icarus.com> 09/20/03 Multi-line string literals?  
Open Errata 487 Steven
Sharp
0001065 open errata-simple 2001b: 3.11.1, 12.2 sharp@cadence.com 09/23/03 Unclear parameter type conversion rules (3.11.1 and 12.2)  
Open Errata 489 Steven
Sharp
0001066 open errata-simple 2001b sharp@cadence.com 10/03/03 parameters with signed but no range (3.11.1 and 12.2)  
Open Errata 494 Steven
Sharp
0001067 open errata-discuss 2001b: 4.2.2 Steven Sharp <sharp@cadence.com> 10/17/03 4.2.2: out-of-range or x/z index to array of reals  
Open Errata 499 Steven
Sharp
0001068 open errata-discuss 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 11/04/03 3.2.2, 4.1.6: parameter signedness  
Open Errata 500 Steven
Sharp
0001069 open errata-discuss 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 11/04/03 hierarchical block references  
Open Errata 501 Steven
Sharp
0001070 open errata-discuss 2001b Shalom.Bresticker@motorola.com 11/05/03 library file_path syntax  
Open Errata 503 Steven
Sharp
0001071 open errata-discuss 2001b Steven Sharp <sharp@cadence.com> 11/06/03 Term "variable" misused in section 18  
Open Errata 506 Steven
Sharp
0001072 open errata-discuss 2001b Steven Sharp <sharp@cadence.com> 11/13/03 4.5.1 Missing cases in signedness rules  
Open Errata 510 Steven
Sharp
0001073 open errata-discuss 2001b: 12.3 Shalom.Bresticker@motorola.com 12/01/03 12.3: Is "module m(.p(p));" legal?  
Open Errata 521 Steven
Sharp
0001074 open errata-discuss 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 12/28/03 section 7: connection of vector to gate terminal  
Open Errata 539 Steven
Sharp
0001075 open errata-discuss 2001c: 15.3.6, 16.2.2 Shalom.Bresticker@motorola.com 02/10/04 15.3.6, 16.2.2: $nochange  
Open Errata 540 Steven
Sharp
0001076 open errata-simple   sharp@cadence.com (Behavioral Task Force) 02/11/04 Misuse of term reg in 17.2.4.4  
Open Errata 543 Steven
Sharp
0001077 open errata-discuss 2001b: 1.3f et al Shalom.Bresticker@motorola.com 02/13/04 1.3f: italicized BNF names  
Open Errata 549 Steven
Sharp
0001078 open errata-simple   Steven Sharp 02/24/04 17.1.1.7 leading zeros in string format  
Open Errata 555 Steven
Sharp
0001079 open errata-discuss 2001b: 18.4.3.2 Shalom.Bresticker@motorola.com 03/08/04 18.4.3.2: incomplete sentence  
Open Errata 556 Steven
Sharp
0001080 open errata-discuss 2001b Shalom.Bresticker@motorola.com 03/08/04 "procedural continuous assignments"  
Open Errata 559 Gordon
Vreugdenhil
0001039 open errata-discuss 2001b Shalom.Bresticker@motorola.com 03/11/04 5.3, 17.1.2, 17.1.3: $strobe, $monitor  
Open Errata 560 Gordon
Vreugdenhil
0001040 open errata-discuss 2001b: 17.1.3 Shalom.Bresticker@motorola.com 03/12/04 17.1.3: $monitor sensitivity  
Open Errata 566 Gordon
Vreugdenhil
0001041 open errata-discuss 2001c: 9.5 "Brad Pierce" <Brad.Pierce@synopsys.com> 03/19/04 9.5: case item expression ambiguity  
Open Errata 569 Gordon
Vreugdenhil
0001042 open errata-simple 2001b Shalom Bresticker <Shalom.Bresticker@motorola.com> 03/30/04 17.2.3: $swrite is not a file-based i/o task  
Open Errata 570 Gordon
Vreugdenhil
0001043 open errata-discuss   sharp@cadence.com (Behavioral Task Force) 04/09/04 12.5 "Upwards name referencing" description has problems  
Open Errata 581 Gordon
Vreugdenhil
0001044 open errata-simple   sharp@cadence.com (Behavioral Task Force) 05/10/04 17.2.4.1 doesn't say if result is signed  
Open Errata 582 Gordon
Vreugdenhil
0001045 open errata-discuss 2001b "Brad Pierce" <Brad.Pierce@synopsys.com> 05/10/04 A.1.2, config BNF doesn't match examples in Section 13  
Open Errata 583 Gordon
Vreugdenhil
0001046 open errata-discuss 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 05/11/04 comment_text allows \n and */  
Open Errata 584 Gordon
Vreugdenhil
0001047 open errata-discuss   sharp@cadence.com (Behavioral Task Force) 05/25/04 17.2.4.3 Should %5c be allowed with $fscanf?  
Open Errata 596 Gordon
Vreugdenhil
0001048 open errata-discuss   Eric Mahurin 07/19/04 ambiguous operands in expressions (A.8.3)  
Open Errata 597 Gordon
Vreugdenhil
0001049 open errata-discuss   Eric Mahurin 07/19/04 whitespace/comments within compiler directive  
Open Errata 598 Gordon
Vreugdenhil
0001050 open errata-discuss   Eric Mahurin 07/19/04 "$" ambiguity in PATHPULSE$  
Open Errata 599 Gordon
Vreugdenhil
0001051 open errata-discuss   Eric Mahurin 07/19/04 intermediate variables with @*  
Open Errata 600 Gordon
Vreugdenhil
0001052 open errata-discuss   Eric Mahurin 07/20/04 directives within directives  
Open Errata 601 Gordon
Vreugdenhil
0001053 analyzed errata-discuss   Eric Mahurin 07/23/04 macro formal argument usage  
Open Errata 608 Gordon
Vreugdenhil
0001054 open errata-simple   Eric Mahurin 07/29/04 mintypmax_expression usage  
Open Errata 610 Gordon
Vreugdenhil
0001055 open errata-simple   Eric Mahurin 07/30/04 operand/operator relationship is ambiguous for event_expressions  
Open Errata 612 Gordon
Vreugdenhil
0001056 open errata-simple   Eric Mahurin 07/30/04 redundancies in the BNF  
Open Errata 618 Gordon
Vreugdenhil
0001057 open errata-discuss 2001b Shalom.Bresticker@freescale.com 08/12/04 15.3.2: $timeskew Case 3 and Case 4 are the same  
Open Errata 621 Doug
Warmke
0001246 open errata-discuss 2001b "Brad Pierce" <Brad.Pierce@synopsys.com> 09/14/04 19.3.1, one-line comments in macro arguments  
Open Errata 624 Doug
Warmke
Propose Closure open errata-discuss 2001b, IEEE P1364-2005/D3, 5/6/04 Yong Xiao <yongx@tharas.com> 09/22/04 Need clarification and resolution for extension rules  
Open Errata 626 Doug
Warmke
0001247 open errata-discuss 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 09/26/04 "time step" is not defined  
Open Errata 631 Doug
Warmke
Propose Closure open errata-simple 2001b Bineet SRIVASTAVA <bineet.srivastava@st.com> 11/08/04 Issue: Genvar Clarification  
Open Errata 642 Doug
Warmke
0001248 open errata-simple 2001b Shalom.Bresticker@freescale.com 12/01/04 $swrite should overwrite entire string  
Open Errata 644 Doug
Warmke
0001249 open errata-discuss 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 12/23/04 A.8.2: attributes on system function calls  
Open Errata 649 Doug
Warmke
0001250 open errata-simple 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 02/06/05 use of "unknown"  
Open Errata 650 Doug
Warmke
0001251 open errata-simple 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 02/15/05 9.7.6 does not explicitly say what happens if "wait" condition is  
Open Errata 652 Doug
Warmke
0001252 open errata-simple 2001b Shalom.Bresticker@freescale.com 02/16/05 14.2.4.3, Example 2: path conditions not unique?  
Open Errata 654 Doug
Warmke
0001253 open errata-discuss 2005: 14.2.3 Shalom.Bresticker@freescale.com 03/03/05 14.2.3: specify block edge-sensitive path description with  
Open Errata 655 Doug
Warmke
0001254 open errata-simple 2005D6, 7.1.6 Shalom Bresticker <Shalom.Bresticker@freescale.com> 03/03/05 2005D6, 7.1.6: ambiguities in instance array port connection  
Open Errata 656 Doug
Warmke
0001255 open errata-simple 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 03/03/05 "port" vs. "terminal"  
Open Errata 657 Doug
Warmke
0001257 open errata-discuss 2001b Shalom Bresticker <Shalom.Bresticker@freescale.com> 03/12/05 14.5 Driving wired logic: error in Fig 14-6?  
Open Errata 660 Doug
Warmke
0001258 open errata-simple 2001b Shalom.Bresticker@freescale.com 04/14/05 Clause 7 does not clearly specify output of primitives with  
Open Errata 661 Doug
Warmke
0001259 open errata-simple 2001b Shalom.Bresticker@freescale.com 04/14/05 5.1.10,11: minor editorial  
Open Errata 662 Doug
Warmke
0001260 open errata-simple   sharp@cadence.com (Behavioral Task Force) 04/21/05 Incorrect rule in note on Table 4-21 in 4.4.1  
Open Errata 663 Doug
Warmke
0001261 open errata-simple   sharp@cadence.com (Behavioral Task Force) 04/22/05 Incorrect width extension rule in 4.1.10.  
Open Errata 664 Doug
Warmke
0001262 open errata-simple   sharp@cadence.com (Behavioral Task Force) 04/22/05 Missing rule for reduction operators in 4.5.1