SV-EC Committee Meeting
Monday June 23, 2008 11:00am - 1:00pm PDT
Voting Rights unchanged from last meeting
[ http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_June_23_2008_Minutes.htm ]
Meeting number:
------------------------------------------------
000000000000000000000000000000000000000000000
000000000111111111122222222223333333333334444
123456789012345678901234567890123344567890123
Meeting Days:
------------------------------------------------
(121202020102020101311202020101212011020012112) Day
(481593604882505956041593606715926307724375423)
(000011111100000000000000000011111111000000000) Month
(889900112211223344456677889900011222112333456)
(000000000000000000000000000000000000000000000) Year
(666666666677777777777777777777777777888888888)
------ Attendees ----------------------------
(-AAAAAAAAAAAAAAAAA-AAAA-A--AAAAA*AA*AAAAAAAAA) Arturo Salz 38
(--AAA-AAAAAAA-AAAAAAAAAA--A-A-AAA*A*AAAAA-A-A) Cliff Cummings 33
(AAAAAAA-AAAAAAAAAAAAAAAAAAAAAAAAA*A*AAAAAAAAA) Dave Rich 42
(AA-A-AAA-AAAAAAA---AAAAAAAAAAAAAA*A*AAAAAA-A-) Francoise Martinolle 35
(-AAAAAAAAAAAAAAAAAAA-AAAAAAAAA-AA*A*AAAAAAAA-) Mehdi Mohtashemi 39
(AAAAAAAAAAAAAAAAAAAAAA-AAAAAAAAAA*A*AAAAAAA--) Neil Korpusik 40
(AAAAAAAAAA-AAAAAAAAAAAAAAAAAAAAAA*A*AAAA-AAAA) Ray Ryan 41
(AAAAAAAAAAAA-AAA---AAA-AAAAAAAAAA*A*A-AAAAAAA) Gordon Vreugdenhil 37
(AAAAAA--AAAAA-A--AAAAAAAAA-AAAAAA**AAAAAAAAA-) Steven Sharp 36
(--AAAA-A-------------------------*-*---------) Phil Moorby 05 - Non-voting
(---AA-AAA-AAAA-AA-A--------------*-*---------) Doug Warmke 12 - Non-voting
(AAAAAAA---AA-A-AAAAAAA---AAAAAAAA**AA--AA-AAA) Stu Sutherland 32
(-AAAA--AAAA-A-AAAAA-AAAA-AAAAAAAA*A*-AAAAAAA-) Heath Chambers 34
(-AAAAAA-A----AAAAAAAAA--AAAAAAA-A*A*AAAAA-AAA) Don Mills 33
(--AA--A---A-AAA--A-AAAA-A-A--A--A*-*AA--AA-AA) Jonathan Bromley 22 - (2 of last 3)
(--A------------------------------*-*---------) Logie Ramachandran 01 - Non-voting
(----AAA--------------------------*-*---------) Melvin Cardoza 03 - Non-voting
(-----A-AAAAAA-AAAAAAAAAAAAAAAAAAA*A*AAAAAAAAA) Mark Hartoog 36
(-------A-------------A-----------*-*---------) Satia (from Intel) 02 - Non-voting
(--------AAA----------------------*-*---------) Rob Slater 03 - Non-voting
(-------------A-------------------*-*---------) Alex Gran - Mentor 01 - Non-voting
(---------------A-AAA-AAAAA--A-AA-*A*A--------) Mike Mintz 14 - Non-voting
(------------------AAAAAAAAAAAA-A-*-*---------) Geoffrey Coram 13 - Non-voting
(-------------------AAAAAAAAAA-AAA*A*AAAAAAA-A) David Scott - Mentor 22 - (2 of last 3)
(------------------------A--------*-*---------) Benjamin Chen - Cisco 01 - Non-voting
(---------------------------AAAAAA*A*-AA-AA---) Mike Burns - Freescale 11 - Non-voting
(----------------------------------*A---------) Harry King - Cisco 01 - Non-voting
(--------------------------------------A------) Karen Pieper 01 - non-voting
14 people (other than chair) currently have voting rights
for next meeting
** Minutes taken by
David Rich (acting as chair)
Quorum established at 11:05am PDT – 10 members present, 8
required.
////////////////// May 12,
2008 /////////////////////////
Agenda:
1. Review IEEE
patent policy
ref: http://standards.ieee.org/board/pat/pat-slideset.ppt
NOTE: The patent policy was assumed to be read.[minutes are properly amended].
2. Review meeting
minutes/notes:
Previous meeting: May 12 2008
http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_May_12_2008_Minutes.txt
Move: Gord - approve the meeting minutes
Second: Stu
Abstain: None
Opposed: None
Approved
3. Updates from
p1800WG / Champions meeting / SV-SC
------------------------------------------------------
Draft 6 has been released since last SV-EC and posted to all
reflectors. There are currently 18 issues in the completed state that need to
be reviewed and closed. See attached list.
4. Review of Mantis
issues
Mantis 520
Example of deleting the entire queue should be moved up one
section
One of the examples at the end of 7.11.4 is in the wrong place.
This is as a result of my overlooking the new form of queue
delete() method with no arguments, which deletes the whole
queue.
The very last line of example in 7.11.4...
q = {}; // clear the queue (delete all items)
should be deleted, and the following line added to the
immediately previous group of examples "queue assignment
operations that exhibit behaviors similar to those of
queue methods":
q = {}; // q.delete()
Action Item: Jonathon to move 520 to editor state noting
that consensus agreed with editorial suggestion
Mantis 1789
7.8 Strings "assignment to string type data object" should be "assignment to variable of string data type". Several occurrences.
"String type constant expression" should be "string type expression". "Constant" was an inadvertent restriction.
Motion to accept new wording: Gord/Arturo.
Passes unanimously.
Action item: DaveR to add bugnote with resolution for the editor.
Mantis 2424
SV-BC asked to review
"dist" operator being included in table 11-1 and 11-2 of Draft5.
SV-EC was OK with that but felt a simple cross-reference should be added to
note that the description of "dist" is in the constraints and
sequences, and not a general operator.
Action Item: Ray to find 2 cross-references and add bugnote.
Mantis 1447
Jonathan raised issue of assignment
compatibility of unpacked arrays with assignment compatible elements. The
requirement has switched back and forth from requiring elements to be
assignment compatible and equivalent typed.
Action item: Jonathon to raise issue in the SV-BC reflector.
5. Next meeting.
July 7th. Will cancel if there are no
other issues.
6. Adjourn
12:14PM PDT
Mantis Issues for review of draft6 (informative, not part of
minutes)
|
ID
|
Status
|
Summary
|
|
0002302
|
completed (Mike Burns)
|
Champions feedback for Mantis item 1447
|
|
0002242
|
completed (stuart)
|
issues with get_coverage(ref int, ref int)
|
|
0002183
|
completed (Ray_Ryan)
|
Only simple identifiers allowed in solve-before constraint
|
|
0000520
|
completed (Jonathan Bromley)
|
examples of queues assignments are not legal array
assignments
|
|
0001787
|
completed (doug_warmke)
|
LRM needs to discuss transition bins of length 1
|
|
0002243
|
completed (stuart)
|
issue with option.per_instance
|
|
0002164
|
completed (Arturo Salz)
|
Use "base class" instead of "parent
class" in 8.12
|
|
0001927
|
completed (David_Scott)
|
clarification of default sequence transition bin in covergroup
|
|
0001871
|
completed (stuart)
|
clarification needed for illegal/ignore transition bins
|
|
0001857
|
completed (gordonv)
|
external method definitions and parameterized class types
|
|
0001789
|
completed (Geoffrey_Coram)
|
Clarification of string behavior
|
|
0001707
|
completed (Jonathan Bromley)
|
streaming operator should specify which direction slices
are taken from
|
|
0001702
|
completed (Jonathan Bromley)
|
queue syntax issues
|
|
0001655
|
completed (doug_warmke)
|
Coverage Calculation Corner Case Crumminess
|
|
0001594
|
completed (Françoise Martinolle)
|
conditional operator for class handles incorrect
|
|
0001447
|
completed (Mike Burns)
|
Contradictory stmts about unsized array dimensions (5.1 vs. 5.7 and 5.8)
|
|
0001371
|
completed (Dave Rich)
|
Semantic of program block $exit
|
|
0000958
|
completed (Jonathan Bromley)
|
dynamic array size method unclear when empty
|