[sv-ec] Meeting Monday January 22, 2007, Agenda

From: Mehdi Mohtashemi <Mehdi.Mohtashemi_at_.....>
Date: Sun Jan 21 2007 - 09:11:11 PST
Date: Monday, January 22 2007
Time: 11:00am-1:00pm PST 

Toll Free Dial In Number: (888)635-9997
***************************************
PARTICIPANT CODE:    0536987# 
***************************************
International Access/Caller Paid Dial In
Number: (763)315-6815  

Agenda: 
1. Review IEEE patent policy 
-------------------------------------------
  http://standards.ieee.org/board/pat/pat-slideset.ppt2     
  
2.  Review meeting minutes/Notes: 
---------------------------------------------------
   Review meeting minutes December and January 8th meetings 
 
http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_December_4_2006_Minutes.t
xt
 
http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_December_18_2006_Minutes.
txt
 
http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_January_8_2007_Minutes.tx
t

3. Action items review
-------------------------
  AI: 890 and related items:
     Cliff - update the proposal using new terms (active event regions
and 
	   reactive event regions)
     Cliff - update the figure to make it more clear there are two inner
loops.
     Cliff - Last paragraph page 1 -- change it to pre-active.
  AI: 1325 Stu: check with Karen on how to sort for the required LRM 
	changes that he is currently working on. 
  AI: 1706 Gord: will put something together for review. 


Action items: Previous meetings
-------------------------------
 AI:  follow-up to mantis 978
   Gord - re-write section 5.15.4 - only the default argument value
makes sense
    Dave - what order is used for find and find_index (e.g. traversal is
left 
	   to right of the bounds, associative is min to max)
         - 5.15.1 - change last sentence in first paragraph.
    All  - can anyone come up with a realistic example? (last example
5.15.4)
         - not only where you would need it but also what does it mean.

4. Name Resolution sub-group update
------------------------------------
    
5. Continue review and discussion on Mantis 890 and related mantis items
------------------------------------------------------------------------
-
  a) Rob's use model
  b)  890  08-31-06  clarifications in program and clocking blocks
(Doug)
       Additional mantis items (there were no discussions on this set)

       236 - should be resolved... ##0
       597 - [NOTE: look further down in the minutes-- CLOSED]
       608 - being clarified.
       609 - association of clocking block,  need a syntactic form.
      1325 - was closed by SVAC - unnamed clocking blocks
      1615 - was approved already - allows fork/join_none within
functions
       564 - Cross-program variable access (Sharp)   [recommendation: to
close]
       551 - Program block interaction with queues (Sharp)

6. Additional mantis items
-------------------------------------
The following items have proposals.
 
1336  12-04-06   Rules for allowed statements in a function(Dave)
1371  03-09-06    Semantic of program block $exit   (DaveR) --
Clarification
1384  03-14-06  bit stream cast and pack/unpack for protected./local
members (DaveR,Neil)
1500  06-07-06  Forward typedef of a class is only to declare instances
of that type (Dave)
1556  08-06-06  in-line static variable initialization - require keyword
static?  (shalom)
1580  09-04-06  Access to interface objects via virtual interface (Dave)
1707  01-09-07  streaming operator should specify which direction slices
are taken from (DaveR)

1427  04-14-06  dynamic_array_new  (Brad)
1594 09-15-06  conditional operator for class handles incorrect
(Francoise)
1608 10-06-06  equality, inequality and conditional operator rules for
class handles  
1609 10-23-06  import statements should not be allowed in class scopes
Gordon
1612 10-08-06  Timeunits decls don't make sense in class decls (BNF)
Brad 
1655 10-30-06  Coverage Calculation Corner Case Crumminess  (Doug)
1680  11-16-06  "literal string" should be "string literal" (shalom)


7. Discuss what to do with mantis items that have no proposal
-----------------------------------------------------------------
   Mantis items -- clarifications, typos, errata 
    without proposals
-------------------------------------------
  339    typos in queue methods  4.14.2 (Sharp)		[Neil]
  346    usage of word string (from 275) (Mehdi/Brad/Shalom)
  412    5.14.1 queue operators (Sharp)
  517    concatenation syntax usage section 5.14 (Francoise)
  518    queues and arrays     (Francoise)  
  519    section 5.14,empty array literal syntax (Francoise) 
  520    example of queues assignment   (Francoise)
  522    use of concatenation in 5.14.2 (Francoise)
  549     Issues with Section 15 on Scheduling Semantics (Sharp)
  551     Program block interaction with queues (Sharp)
  564     Cross-program variable access (Sharp)
  802    assigning too many elements in the queue (Francoise)
  885    syntax typo in description (queue)   (DaveR)
  958    dynamic array size method   (Shalom)  		[Neil]
  968    list package (should be covered by 1256 sv-ec & 1412 sv-bc)
  974    dynamic arrays/queues comparison       (Shalom)
  975    related to 5.9, illegal for index_type (Shalom)
 1256    description of linked list (annex D) (Brad) Gord
 1295    scheduling algorithm question (Shalom)   [Question for
clarification]
 1312    wait_order specification with repeated events   (Miscellaneous)
(Franciose)  
 1349    fork/join_none: what if parent thread terminates without
blocking statement? (Shalom)
 1355    LRM 13.3 is not clear about non-rand variables, handles and
structs  (classes) (Paul)
 1363  03-03-06    Behavior of join_any containing no statements is
unclear (Sharp)
 1391  03-21-06  Invalid example code using 'process::self.srandom(100)'
(Ray)
 1415  04-08-06  behavior of foreach with no loop variables not
specified  (Sharp)
 1417  04-09-06  1.2 mentions queues twice  (Shalom) (clarification)
 1421  04-10-06  static method 'get_coverage' cannot have 'ref'
arguments  (Ray)
 1441  04-25-06  20.8 restriction on virtual interfaces in "sensitivity
list" not defined (sharp)
 1470  05-11-06  Allow interconnect definitions in packages  (Brad)
[ENHANCEMENT]
 1486  05-23-06  use of thread and process not consistent  (Dave)
[CLARIFICATION]  
 1511  06-25-06  $typename() and parameterized classes (22.2)  (Brad)   
 1513  06-23-06  LRM does not clarify if class variables can be used in
clock expressions  (Manisha)
 1516  06-27-06  arguments to randomize calls (Ray)  [Randomization]
 1517  07-03-06  Array reduction methods used in constraints  (Dave)
[Miscelleneous/enhancement]
 1527  07-07-06  Constant function call can be to static class method
(Brad)  [class related]
 1541  07-16-06  20.4.5: example errors? (shalom)  [assert property]
 1542  07-17-06  Overriding parameters within static class methods  and
packaged subroutines (BNF)  [Brad]
 1552  08-01-06  Wording of mailbox description - section 14.3 [Neil,
Steven]
 1560  08-10-06  Queue delete() method for entire array   DaveR 
 1574  08-29-06  16.7.1 behavior of program with no initial blocks
(Steven) Clarification
 1575  08-29-06  Coverpoints on nets/wires 
 1576  08-30-06  In 5.15.1 unique and unique_index need to be reworded
(from Mantis 978)
 1584  09-11-06  problems with default arguments in virtual methods
(sharp) (related to 1308)
 1585  09-13-06  BNF error on trigger of element of event array
(Shalom)
 1594  09-15-06  conditional operator for class handles incorrect
(Francoise)
 1618  10-10-06  describe parameters of dynamic types  [CLARIFICATION]
 1623  10-15-06  alternate timeunit syntax   (shalom)  [ENHANCEMENT]
 1624  10-16-06  8.10.1 needs to reference Annex C  (shalom)
 1642  10-20-06  Call to static class method  (Brad)
 1651  10-26-06  $psprintf (standarize)  (shalom) 
 1671  11-08-06  cross coverage ambiguity on auto and user-defined bin
coexistence  (Doug)
 1672  11-12-06  18.9: "type" should be "option"     (Shalom)
 1679  11-16-06  3.6 string casting statement unclear  (Shalom) 
 1685  11-22-06  6.3.2 should be clarified as allowing string literals  
 1690  12-01-06  Array reduction methods for non-integral types  
 1695  12-06-06  Clarify effect of ignore/illegal transition on
transition bin coverage (Ray) 
 1701  12-21-06  capitalization scheme for scheduling region names  
 1702  12-27-06  queue syntax issues   (Shalom) 
 1706  01-04-07  Meaning of static prefix for virtual interface
assignments  (Gord)
 1712  01-10-07  Clarifications needed on foreach iteration  (Doug)
 1714  01-12-07  singular types for malboxes  (DaveR)
 1719  01-19-07  Shallow copy constructor needs clarification
(W.Paulsen)

8. Next meetings
--------------------------------------   
     Feb 5th,  Monday, 11:00-1:00pm
     Feb 19th  is a holiday -- No meeting
     Feb 20 is possible Face-to-face meeting, there is a p1800 meeting
from 11-1:00
		sv-ec can have 1:00 to 3:00pm. DVCon07 is during that
week
     March 5   Monday, 11:00-1:00pm
	


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Sun Jan 21 09:12:24 2007

This archive was generated by hypermail 2.1.8 : Sun Jan 21 2007 - 09:13:11 PST