From sv-ec
1789 Clarification of string behavior
Passed unanimously by email vote June 22, 2007
"1. Change this
sentence (on page 128)": in Draft 3a, this is page 126.
In 2, " bit [10:0] a = "\x41"; // assigns to a `b000_0100_0001":
the back-tic in the comment
preceding 'b' should be an apostrophe.
In 4, "one of them can
be a string literal which is implicitly converted to a string type data object
for the comparison": this appears twice, there should be a comma before
the word 'which'.
1787 LRM needs to discuss transition bins of length 1
Approved on April 30, 2007 unanimously.
1787 should also refer to
18.5.1 instead of 18.4.1.
1777 Clarification of 1800-2005 section 18.4.1
Approved on April 30, 2007 unanimously.
The proposal for 1777 is not
updated to Draft 3a.
It refers to 18.4.1 in
1800-2005, which is apparently 18.5.1 in Draft 3a.
The struck-out text starts
with "The goto repetition with nonconsecutive
occurrence", but I don't see the word "goto"
in the original.
I don't know if there are
other differences.
The capitalization of 'goto' in the proposal is inconsistent.
In Draft 3a, it seems to be
consistently uncapitalized.
Brad wrote: Also, the
intransitive "will increment" is inconsistent with the rest of the
paragraph that says bins are "incremented".
And, it's a little odd that it says "Next, ..."
regarding what happens on the 15th-18th samples, and only after that talks
about what happens on the 12th-13th samples.
1736 Example in 12.4.2 has dynamic array packed.
Approved on April/24/2007 unanimously by email vote.
Proposal is OK. Would be nice to change xref in Mantis summary line to 13.5.2.
1723 Size method for associative arrays
Approved on June/11/2007 with 2 No votes:
Cliff - doesn't think of size as being the number of elements,
thinks of it as the address spanned,
encompassed by elements already allocated.
Stu - no change needed
1723: The reference should
be to 7.10.1 instead of 17.10.1.
Grammar:
"The syntax for the num() and size()methods are as follows:" should be
"The syntax for the num() and size()methods is as follows:"
1680 "literal string" should be "string literal"
Approved on April/24/2007 unanimously by email vote.
Not updated to Draft 3a. Text has changed in places affected by this proposal.
1655 Coverage Calculation Corner Case Crumminess
Approved on April 30, 2007 unanimously.
Many comments, sent separately.
1615 can processes spawned by functions execute blocking statements?
Approved on October/23/2006 unanimously.
This proposal wanted to add 11.6.1 (in 1800-2005) after 11.6. The text from 11.6 is now in 9.3.2. I don’t like 4th level subclauses (9.3.2.1), so I am not sure where and how to place this.
The following sentence seems hard to understand:
“Calling a function that executes a fork..join_none block shall be illegal in any context in which a side effect is disallowed or any context other than procedural code originating in an initial block.”
I think the following would be simpler:
“Calling a function that executes a fork..join_none block shall be legal only in procedural code originating in an initial block and illegal in any context in which a side effect is disallowed.”
(Is there a difference between “originating in an initial block” and “in an initial block”? If so, are readers going to understand the difference?)
Is the following sentence needed: “Implementations shall issue an error either at compile time or run time when they have determined the illegal condition.”?
The function declaration is called start_check, but the function calls start_checks.
1612 Timeunits decls don't make sense in class decls (BNF)
Approved on May 2,2007 unanimously by email vote.
The reference to Syntax 7-1 should be 8-1.
Footnote 17 should be footnote 16.
1609 import statements should not be allowed in class scopes
Approved on June/25/2007 unanimously.
25.2 should be 25.3.
1605 Clarification of mailbox/semaphore constructor
Approved on October/23/2006 unanimously.
The references should be 15.3.1 and 15.4.1.
1580 Access to interface objects via virtual interface
Approved on May 2, 2007 unanimously by email vote.
20.9 should be
24.10.
“Access
to all objects declared in an interface is always available by hierarchical
reference, regardless of whether the interface is accessed through a
port, through a virtual interface, or if there are modports
to restrict those access mechanisms.”
I think “if”
should also be “whether”.
“When an
interface is connected with a modport in either the
module header or port connection, access through a port or through a virtual
interface is limited to only objects listed in the modport,
for only types of objects legal to be listed in a modport
(nets, variables, tasks, functions, and clocking blocks). All other objects may
be referenced.”
I find this
wording very unclear. It is unclear what “all other objects” refers to, and it
is unclear how they may be referenced.
The original text
had, “All objects are still visible by hierarchical reference.” This seemed to
repeat the first sentence, “Access to all objects declared in an interface is
always available by hierarchical reference,“ and if
so, to be redundant. Does this proposal intend to change the meaning of the
last sentence?
I also find the
difference between ‘module header’ and ‘port connection’ unclear, since I think
of port connections as part of the module header.
1556 in-line static variable initialization - require keyword static?
Approved on June/11/2007 unanimously.
1545 13.12.1: $urandom example error
Approved on October/9/2006 unanimously.
1480 method_call_root BNF should use primary, not expression
Approved on October/9/2006 unanimously.
1459 Mailbox 'new' method should never return null
Approved on September/11/2006 unanimously.
1427 dynamic_array_new
Approved on April 30, 2007 unanimously.
1371 Semantic of program block $exit
Approved on June/25/2007 unanimously.
1336 Rules for allowed statements in a function
Approved on Jan/22/2007. unanimously.
0888 foreach identifiers are too restrictive
Approved on October/23/2006 unanimously.
0594 15.8 special syntax for accessing interfaces through clocking block
Approved on October/9/2006 unanimously.
From sv-cc
Mantis items with proposals that have been approved:
1741 1800-2005 Section 27.50 Issues with foreach diagram
The SV-CC approved this proposed change on 06/06/2007 (unanimous).
1751 Clarify vpiParent for part selects
This was PASSED by the SV-CC on 3/14/2007 (unanimous).
Dave Rich - Needs update for P1800/D3
1766 VPI Nets object model shows 1-to-many for vpiLeftRange
This was PASSED by the SV-CC on 3/28/2007 (unanimous).
Dave Rich - Now 36.15
1859 Redundant DPI imports/exports section
This was PASSED by the SV-CC on 06/20/2007 (unanimous).
Mantis items that have been determined to be duplicates of others
0793 29.4.3 vpiAssertVacuousSuccessCovered in include file see 1599
(unanimous)
1579 was resubmitted as 1603 due to a mantis problem with 1579 see 1603
(unanimous)
1628 No file or line number for vpiClassObj see 0741
declared to be a duplicate of Item 0741 on 06/06/2007 (unanimous).
1654 vpiConstraintItem not defined by sv_vpi_user.h see 0754
declared to be a duplicate of Item 0754 on 06/06/2007 (unanimous)
Mantis items that won't be fixed or don't require a change
1613 Should a[0:0] be considered a vector or scalar? no change required
Moved to declare as NOT A BUG on 10/11/2006 (unanimous)
OK
1834 JEITA: PLI tf_ and acc_ routines in an appendix won't fix
06/06/2007 moved to declare this Item to be "not a bug" (unanimous).
OK
From sv-ac
1729 Introduce immediate assume and cover statements
Resolved by e-mail ballot on 2007-04-30, 9y/0n/0a
Updated for draft 3a July 19
1730 Allow literal sequence and property actual arguments
Resolved by ballot, 2007-04-30, 7y, 0n, 2a
Updated for draft 3a July 24
1734 Incomplete fix to Annex F in 0805.
Resolved by e-mail ballot on 2007-04-30, 7y/0n/2a
Updated for draft 3a July 19
1735 Incomplete fixes from 0928
Resolved by email ballot, 2007-03-14, 9 yes, 0 no
Updated for draft 3a July 21
1361 need a way to control execution of action blocks
Passed by e-mail ballot on 2007-07-31, 7y/0n/1a
Friendly amendment added during e-mail ballot was confirmed by voice
vote on 2007-08-07, 8y/0n/0a.
1601 new keyword for untyped formal arguments
Passed by e-mail vote on 2007-07-31, 8y/0n/0a
1681 Introduce global clocking
Passed by e-mail vote on 2007-07-31, 8y/0n/0a.
1722 there exists bind inconsistencies between the BNF and the text
Passed by e-mail vote on 2007-07-31, 8y/0n/0a
1768 need to define how to interpret whether the argument to cover is a
property or sequence
Passed by e-mail vote on 2007-07-31, 8y/0n/0a.
Voice vote on 2007-08-07 to confirm friendly amendment suggested during
e-mail ballot, 8y/0n/0a.
From sv-bc
All V-1364 proposals are OK with the 2 exceptions specified below.
V-1364
-------
The proposal file should be deleted as no longer relevant.
The proposal file should be deleted as no longer relevant.
SV-BC
-------
The proposals 1400 through 1597 are OK.