[sv-ec] {Disarmed} SV-EC_June_23_2008.htm

From: Rich, Dave <Dave_Rich_at_.....>
Date: Mon Jun 23 2008 - 17:49:53 PDT
Attached are the unapproved minutes of the June 23rd, 2008 SV-EC.

Dave Rich 
________________________________

 
SV-EC Committee Meeting
Monday June 23, 2008  11:00am - 1:00pm PDT
Voting Rights unchanged from last meeting
 
Meeting number:
------------------------------------------------
 00000000000000000000000000000000000000000000
 00000000011111111112222222222333333333333444
 12345678901234567890123456789012334456789012
 
 Meeting Days:
------------------------------------------------
(121202020102020101311202020101212011020012112) Day
(481593604882505956041593606715926307724375423)
(000011111100000000000000000011111111000000000) Month
(889900112211223344456677889900011222112333456)
(000000000000000000000000000000000000000000000) Year
(666666666677777777777777777777777777888888888)
------ Attendees ----------------------------
(-AAAAAAAAAAAAAAAAA-AAAA-A--AAAAA*AA*AAAAAAAAA) Arturo Salz            37
(--AAA-AAAAAAA-AAAAAAAAAA--A-A-AAA*A*AAAAA-A-A) Cliff Cummings         32
(AAAAAAA-AAAAAAAAAAAAAAAAAAAAAAAAA*A*AAAAAAAAA) Dave Rich              41
(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               40
(AAAAAAAAAAAA-AAA---AAA-AAAAAAAAAA*A*A-AAAAAAA) Gordon Vreugdenhil     36
(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         31 - (2 of last 3) 
(-AAAA--AAAA-A-AAAAA-AAAA-AAAAAAAA*A*-AAAAAAA-) Heath Chambers         34
(-AAAAAA-A----AAAAAAAAA--AAAAAAA-A*A*AAAAA-AAA) Don Mills              32 -  
(--AA--A---A-AAA--A-AAAA-A-A--A--A*-*AA--AA-AA) Jonathan Bromley       21 - (2 of last 3)
(--A------------------------------*-*---------) Logie Ramachandran     01 - Non-voting  
(----AAA--------------------------*-*---------) Melvin Cardoza         03 - Non-voting
(-----A-AAAAAA-AAAAAAAAAAAAAAAAAAA*A*AAAAAAAAA) Mark Hartoog           35
(-------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   21 - (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: According to the rules of IEEE, the new patent policy was read by the chair (DaveR) at the start of the meeting. There were no questions or issues raised by member present.

   
 

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 <http://www.eda-stds.org/svdb/view_all_set.php?sort=id&dir=DESC&type=2&print=1> 

Status <http://www.eda-stds.org/svdb/view_all_set.php?sort=status&dir=DESC&type=2&print=1> 

Summary <http://www.eda-stds.org/svdb/view_all_set.php?sort=summary&dir=DESC&type=2&print=1> 

0002302 <http://www.eda-stds.org/svdb/view.php?id=2302> 

completed (Mike Burns)

Champions feedback for Mantis item 1447

0002242 <http://www.eda-stds.org/svdb/view.php?id=2242> 

completed (stuart)

issues with get_coverage(ref int, ref int)

0002183 <http://www.eda-stds.org/svdb/view.php?id=2183> 

completed (Ray_Ryan)

Only simple identifiers allowed in solve-before constraint

0000520 <http://www.eda-stds.org/svdb/view.php?id=520> 

completed (Jonathan Bromley)

examples of queues assignments are not legal array assignments

0001787 <http://www.eda-stds.org/svdb/view.php?id=1787> 

completed (doug_warmke)

LRM needs to discuss transition bins of length 1

0002243 <http://www.eda-stds.org/svdb/view.php?id=2243> 

completed (stuart)

issue with option.per_instance

0002164 <http://www.eda-stds.org/svdb/view.php?id=2164> 

completed (Arturo Salz)

Use "base class" instead of "parent class" in 8.12

0001927 <http://www.eda-stds.org/svdb/view.php?id=1927> 

completed (David_Scott)

clarification of default sequence transition bin in covergroup

0001871 <http://www.eda-stds.org/svdb/view.php?id=1871> 

completed (stuart)

clarification needed for illegal/ignore transition bins

0001857 <http://www.eda-stds.org/svdb/view.php?id=1857> 

completed (gordonv)

external method definitions and parameterized class types

0001789 <http://www.eda-stds.org/svdb/view.php?id=1789> 

completed (Geoffrey_Coram)

Clarification of string behavior

0001707 <http://www.eda-stds.org/svdb/view.php?id=1707> 

completed (Jonathan Bromley)

streaming operator should specify which direction slices are taken from

0001702 <http://www.eda-stds.org/svdb/view.php?id=1702> 

completed (Jonathan Bromley)

queue syntax issues

0001655 <http://www.eda-stds.org/svdb/view.php?id=1655> 

completed (doug_warmke)

Coverage Calculation Corner Case Crumminess

0001594 <http://www.eda-stds.org/svdb/view.php?id=1594> 

completed (Françoise Martinolle)

conditional operator for class handles incorrect

0001447 <http://www.eda-stds.org/svdb/view.php?id=1447> 

completed (Mike Burns)

Contradictory stmts about unsized array dimensions (5.1 vs. 5.7 and 5.8)

0001371 <http://www.eda-stds.org/svdb/view.php?id=1371> 

completed (Dave Rich)

Semantic of program block $exit

0000958 <http://www.eda-stds.org/svdb/view.php?id=958> 

completed (Jonathan Bromley)

dynamic array size method unclear when empty

 
 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Jun 23 17:52:41 2008

This archive was generated by hypermail 2.1.8 : Mon Jun 23 2008 - 17:53:11 PDT