[sv-champions] Agenda for Nov. 8 conference call

From: Neil Korpusik <Neil.Korpusik_at_.....>
Date: Sat Nov 03 2007 - 20:39:16 PDT
Champions,

Below is the list of mantis items for the conference call scheduled for
Nov. 8. Note that we aren't expecting a thorough detailed review of every
aspect of the proposal. The main goals are to ensure consistency with the
rest of the language and to make sure that the proposals are ready for
the Editor.


Neil




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


List of mantis items that failed a Champions email vote:

 http://www.eda-stds.org/svdb/view.php?id=1383	SV-AC	Property coverage definition
 http://www.eda-stds.org/svdb/view.php?id=1751	SV-CC	Clarify vpiParent for part selects
 http://www.eda-stds.org/svdb/view.php?id=1745	SV-BC	"outside of" and "inside of" are bad style
 http://www.eda-stds.org/svdb/view.php?id=1462	SV-BC	19.5, A.1.2: timeunits_declaration formatting confusing
 http://www.eda-stds.org/svdb/view.php?id=1340	SV-BC	inconsistency between module ports and task arguments

List of mantis items not yet reviewed by the Champions:

 http://www.eda-stds.org/svdb/view.php?id=2090	SV-AC	Concurrent assertion instantiation - inconsistent wording
 http://www.eda-stds.org/svdb/view.php?id=1758	SV-AC	Boolean implication -> and equivalence <->
 http://www.eda-stds.org/svdb/view.php?id=1728	SV-AC	Introduce "let"statement
 http://www.eda-stds.org/svdb/view.php?id=1668	SV-AC	Local variable initializers.
 http://www.eda-stds.org/svdb/view.php?id=1641	SV-AC	need a way to specify severity for printing general error messages
 http://www.eda-stds.org/svdb/view.php?id=1549	SV-AC	add missing formal argument types

 http://www.eda-stds.org/svdb/view.php?id=1942	SV-CC	Deprecated vpiArray property still appears in several places where vpiArrayMember should replace it.
 http://www.eda-stds.org/svdb/view.php?id=1570	SV-CC	Clarify legality of 'integer' and 'time' as DPI parameter types
 http://www.eda-stds.org/svdb/view.php?id=1367	SV-CC	Section 27.11 Ports - the port and port bit objects should be bold

 http://www.eda-stds.org/svdb/view.php?id=1750	SV-BC	%p printing should also work with non-aggregates
 http://www.eda-stds.org/svdb/view.php?id=2092	SV-BC	Clarify that wires may be fixed-sized unpacked arrays
 http://www.eda-stds.org/svdb/view.php?id=2056	SV-BC	12.7.1: Description of for-loop step assignment is not precise
 http://www.eda-stds.org/svdb/view.php?id=2029	SV-BC	BNF does not allow 'string' as casting_type
 http://www.eda-stds.org/svdb/view.php?id=2024	SV-BC	Table 25-18 column headings
 http://www.eda-stds.org/svdb/view.php?id=2006	SV-BC	Clarify empty argument characteristics
 http://www.eda-stds.org/svdb/view.php?id=1993	SV-BC	29.4.4.4: bad specify block ifnone example
 http://www.eda-stds.org/svdb/view.php?id=1989	SV-BC	Consistant use of string terminology
 http://www.eda-stds.org/svdb/view.php?id=1988	SV-BC	13.4.2: contradiction
 http://www.eda-stds.org/svdb/view.php?id=1949	SV-BC	19.6.1 $typename example error?
 http://www.eda-stds.org/svdb/view.php?id=1940	SV-BC	6.8: Inaccurate text
 http://www.eda-stds.org/svdb/view.php?id=1939	SV-BC	Hexadecimal escapes in strings (Table 5-1)
 http://www.eda-stds.org/svdb/view.php?id=1937	SV-BC	Title of 22.2.2.3 misleading
 http://www.eda-stds.org/svdb/view.php?id=1846	SV-BC   D3 21.13: add 1800-2008 to `begin_keywords
 http://www.eda-stds.org/svdb/view.php?id=1792	SV-BC	Aggregate array not defined
 http://www.eda-stds.org/svdb/view.php?id=1767	SV-BC	Missing 's' in BNF example of 1.4
 http://www.eda-stds.org/svdb/view.php?id=1645	SV-BC	behavior of keywords directives at end of compilation unit
 http://www.eda-stds.org/svdb/view.php?id=1610	SV-BC	Scoping of unnamed sequential blocks
 http://www.eda-stds.org/svdb/view.php?id=1588	SV-BC	Add predefined macros for file and line number
 http://www.eda-stds.org/svdb/view.php?id=1554	SV-BC	Array query functions as constant primaries (22.6)
 http://www.eda-stds.org/svdb/view.php?id=1489	SV-BC	19.4: "top-level instance" vs. "top-level module"
 http://www.eda-stds.org/svdb/view.php?id=1487	SV-BC	wild/wildcard inconsistency
 http://www.eda-stds.org/svdb/view.php?id=1473	SV-BC	Is 4.2step legal?
 http://www.eda-stds.org/svdb/view.php?id=1468	SV-BC	always_latch has same restrictions as always_comb (11.3)
 http://www.eda-stds.org/svdb/view.php?id=1464	SV-BC	19.7 (22.5 in D4): misleading (and illegal) example
 http://www.eda-stds.org/svdb/view.php?id=1417	SV-BC	1.2 mentions queues twice
 http://www.eda-stds.org/svdb/view.php?id=1354	SV-BC	endxxx : identifier description missing from text
 http://www.eda-stds.org/svdb/view.php?id=1348	SV-BC	10.8,9 (9.3.4-5 in D3a) don't say that statement labels create named blocks
 http://www.eda-stds.org/svdb/view.php?id=1294	SV-BC	10.4: conditional_statement syntax (BNF)
 http://www.eda-stds.org/svdb/view.php?id=1278	SV-BC	"initial" and "always" "constructs"
 http://www.eda-stds.org/svdb/view.php?id=1265	SV-BC	8.13.1: unclear sentence - what is "more arrays" ?
 http://www.eda-stds.org/svdb/view.php?id=1228	SV-BC	8.11 does not define expansion of longest static prefix
 http://www.eda-stds.org/svdb/view.php?id=1035	SV-BC	Syntax 8-1 and Table 8-1 misclassifications
 http://www.eda-stds.org/svdb/view.php?id=933	SV-BC	Width casting
 http://www.eda-stds.org/svdb/view.php?id=909	SV-BC	All footnotes in Syntax boxes should be hyperlinks
 http://www.eda-stds.org/svdb/view.php?id=907	SV-BC	Default parameter assignment should be optional
 http://www.eda-stds.org/svdb/view.php?id=699	SV-BC	Overloading -- based on equivalence or matching?

 http://www.eda-stds.org/svdb/view.php?id=1710	V-1364	15.3.5: $period error
 http://www.eda-stds.org/svdb/view.php?id=1450	V-1364	3.8: attribute syntax clarification
 http://www.eda-stds.org/svdb/view.php?id=1425	V-1364	Type/size propagation does not stop at parens (5.5.2, V-2005)
 http://www.eda-stds.org/svdb/view.php?id=1302	V-1364	Selects use self-determined evaluation
 http://www.eda-stds.org/svdb/view.php?id=1175	V-1364	Add field widths to print formats
 http://www.eda-stds.org/svdb/view.php?id=1134	V-1364	Add localparam to ANSI-type param list

---------------------------------------------------------------------------

The following is for your information and no action is required on your part.
Mantis items placed in the feedback state: (passed Champions with Friendly amendments)

 http://www.eda-stds.org/svdb/view.php?id=1957 SV-BC  Macros: ambiguous whether empty arguments can be used 
 http://www.eda-stds.org/svdb/view.php?id=1444	SV-BC  size warnings in assignment patterns should be allowed
 http://www.eda-stds.org/svdb/view.php?id=1280	SV-BC  Wrong replication example at end of 3.8
 http://www.eda-stds.org/svdb/view.php?id=1548	V-1364	5.1.13: description of condition reversed

Mantis items passed by Champions, with suggested changes: 
Neil will open a new mantis item for the suggestion and send the proposal to the working group. 

 http://www.eda-stds.org/svdb/view.php?id=1951	SV-BC  "Null argument" to mean "omitted argument" may be confusing
Received on Sat Nov 3 20:39:35 2007

This archive was generated by hypermail 2.1.8 : Sat Nov 03 2007 - 20:39:38 PDT