RE: [sv-champions] Champions meetings have been scheduled

Comments below

> 
> 
> 
> From sv-cc
> 
> Id      Summary
> 
>  985    cbSizeChange for queues too?
[DR>] Needs updating 27.14 is now 36.16
> 1385    Please document compatibility issues between 1364 and 1800 VPI
> 1603    Unused vpiMultiArray declaration in vpi_user.h
[DR>] Change should be to 1800-2008 Annex L
> 1614    P1800-2005:  27.52 no expr for disable fork objects
[DR>] 27.52 is now 36.67
> 1631    P1800-2005 27.14 note k has an error
[DR>] 27.14 is now 36.16
> 1632    P1800-2005 sections 27.14 note k and 27.22 note f are
incompatible
[DR>] 27.22 is now 36.26
> 1664    IEEE 1800-2005 27.7 Note 'e': First sentence should be
rewritten
[DR>] 27.7  is now 36.9
> 1669    P1800-2005 Sections 27.34 and 27.36 commas are inconsistent
[DR>] 27.34 is now 36.45
> 1684    vpiParent clarification needed for complex var/net objects
[DR>] 27.14 is now 36.16
> 1699    1800-2005+ draft 3 sections 36.34 and 36.68 problem with
vpiReturn
> 1700    vpiTimeConst and vpiNullConst have the same value
[DR>] Annex I is now Annex L
> 1716    Clarify handling of DPI formals/actuals with rand/randc
qualifier
[DR>] Annex F is now Annex I
> 
> From sv-ac
> 
> 1460   Allow actions within assume property statement
> 1466   shortcuts for delay and consecutive repetition
[DR>] I am opposed to this enhancement at the current time for the
following reasons:
1. This is not Verilog-like. Use of a range specification [n:m] in
Verilog is quite common and having a single character does not fit with
rest of the language. Also, '?' means 'z' in Verilog
2. Other parts of the language use similar range specifications (Queues
and coverage transitions). If we must have these shortcuts, shouldn't
they be uniformly applied? In then end, I don't think the 2 keystroke
shortcut is worth the instability.

> 1543   Meaningless sentence in 17.15 and Annex H
> 1550   $sampled function definition
> 1567   22.9: in Syntax 22-7, should be no semicolon
> 1591   17.7.3, 22.9: $past syntax not precise
> 1601   new keyword for untyped formal arguments
[DR>] I am opposed to this enhancement at the current time. It is
unfortunate that we ever allowed un-typed formals. The language should
be fixed properly so that un-typed formal are obsolete rather than
allowing them to be mixed with typed formals.
> 1648   Default reset for assertions
[DR>] I am against this enhancement at the current time. I believe this
feature will be useful in a wider context, such as covergroups, but the
committees have not had time to study this. If we add this feature now,
it will be harder to address the other areas due to backward
incompatibilities. For example, suppose the sv-ec decides that default
disable should also disable sampling of covergroups. We can't add that
capability later; we must look at all the other areas that could be
affected. But due to schedules and merge activities, the other
committees have not been able to investigate.
> 1674   Context value functions
[DR>] I am opposed to using system functions that represent syntactic
sugar. I think syntax is better at representing syntactic sugar. For
example "clk = default clocking"
> 1677   Add $changed sampled value function
> 1704   need to specify behavior of attached subroutine on empty seq
match
> 1722   there exists bind inconsistencies between the BNF and the text
> 
> 
> From sv-bc
> 
> V-1364
[DR>] These should be changed to sv-bc
> 0000999  check index
> 0001004  5.1.13: Zero fill in ?: even if signed or x/z
> 0001101  17.1.1: not clear how "\a" is interpreted
> 0001143  allow unsized numbers and integer variables in concatenations
> 0001153  parameterized task/function extensions
> 0001198  Support a container to define how to interface to a set of
> signals.
> 
> SystemVerilog
> 0000227  Ambiguous phrase "packages must exist"
> 0000915  Size wrong in comments of an example of 4.10
> 0000918  'medal' reference refers too far back in text
> 0000965  Name from example should use constant-width typeface
(6.3.2.1)
> 0001064  Multi-line string literals?
> 0001297  genvar clarification
> 
> --
> ---------------------------------------------------------------------
> Neil Korpusik                                     Tel: 408-276-6385
> Frontend Technologies (FTAP)                      Fax: 408-276-5092
> Sun Microsystems                       email: neil.korpusik@sun.com
> ---------------------------------------------------------------------
> 
> 
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.