IEEE P1647 Header
Home
About
Membership
Patent related
Mail Archive
Minutes
Next Agenda
Downloads
Issue Tracking
minutes

Meeting 4 Minutes


Teleconference, February 9th, 2004

A quorum of 12 out of 16 voting members present (DASC members that attended 3 or more meetings). Attendance is posted on the online roster.

1. Call to order

Meeting was called to order at 9:02

The eWG was informed that this was the first  meeting required to establish a quorum.  Voting privileges needed to be taken into account and the eWG would conduct itself as if it has a quorum.  The voting rights will be calculated on the computed outcome of the accumulated record of attendance and the attendance requirement will be 3 out of 4 (including the present  one).  If a quorum is present then the resolutions will be binding else all the issues bought to vote will be balloted on afterwards.  This, at present, appears the most efficient way – this may however change at some future date if it is no longer acceptable.

2. Approval of minutes from meeting 3

Hamilton Carter moved to approve the minutes
Silas McDermott seconded the motion
No objections/abstainers. Motion passed.

3. Election of  secretary

The position of secretary is advised by DASC as a required position.

Darren Galpin moves to nominate Serrie-Justine Chapman to the post.
Steve Pearlmutter seconds the motion.
No objections/abstainers. Serrie-Justine Chapman is nominated to the post of Secretary.

4. Task force updates

The First  coordination task force meeting was held one week ending 6th February 2004. 
The individual task force leaders then discussed current TF status.

    2. Basic language task force (BL_TF) -  Chris Macionski (Lead)

There are currently 4 members in this group.  The first kick-off meeting was held shortly before Christmas.  The individual members were each given 80 pages of the LRM to review at this time.  Current status : some members currently still in the process and some issues have been raised and entered into ITS.  There is some internal discussion re the issues within the task force and some may be presented before the working  next meeting after a common consensus is agreed.

    3. AOP task force (AOP_TF)   - Matan Vax (lead)

Matan stated that this group was behind at present as the first kick-off meeting had only been scheduled for this coming Wednesday.  They plan to assign relevant sections of the LRM to the different members at this point.  There are some special problems relating to the charter which may need feedback from WG. 

    4. Constraints and generation (TG_TF) - Ken Sailor (Lead) (not present)

Frank Lang: Attempted to hold kick-off meeting via conference call but no participation.  This may have been due to late announcement of call.  The TF plan to partition the work and relate any discussions via e-mail instead.

    5. Coverage task force (COV_TF)  - Andy Piziali (Lead)(Not present)

Yaron: Aware that this task force have been active and a few (5) issues have already been submitted to ITS.  It was advised that some issues may be resolved within the task forces themselves esp. when relating to changes to wording in documentation only.  However when requiring modifications or extensions to the language it is more likely that these would need to be bought before the WG.

    6. Temporal expressions (TE_TF) - David Van Campenhout (Lead)

David: There have been two meeting to date for this group. The team are working on an appendix for the formal semantics. The work on the draft of the formal semantics is just starting.  They plan next to start work on the actual chapters of the LRM.

It was also mentioned that out of the five members there are only 3 currently actively working on the issues.  A call to the group for any members with a background in temporal logic to assist was made.

    7. TCMs and concurrent semantics (TCM_TF) - Matthew Morley

Matthew: 3 members signed up for this TF so it is pretty light on attendance.  Could use attendance of people with strong parallel/concurrent semantics background.

A call to the group for for anybody with a background in concurrent programming or any members with an interest to assist was made.

    8. Foreign (HDL) access and interfaces (FI_TF)  - Pitchumani Guruswamy (Lead)

Pitchu: A kick-off meeting was held on January 8th 2004.  There are 7 members in the team and to date they have found and entered 5 issues to ITS.  They will be reviewing these issues in 2 weeks time.
 
The e libraries task force lacks a lead and membership.

Footnotes:

Yaron : It appeared that some groups were lacking in in-depth knowledge in specific areas especially for those with knowledge of concurrency or involved in formal semantics.  If anybody is aware of anybody involved in these areas who might be interested in assisting then Yaron will happily follow up any leads

Matan:  Also mentioned that they are also looking for people with OO and/or AOP design knowledge or experience to also assist as they were lacking in expertise in these areas.

Yaron: Although there are around 50 issues already entered in ITS it is expected that many of these will be resolved between the individual TF’s and the Editor. It is likely that some will require the attention of the WG and these may be bought to the next meeting.

5. DASC governance process (informative)

DASC is still in the process of defining its new p&p’s.  No action is required at this time but this may need addressing at the next call, if the procedures are finalized. We may need to adjust the WG bylaws and processes to maintain compliance.

Matthew: Can you clarify what you think the changes might be ?

Yaron: Speculatively  only – regarding bylaws these are currently different bye-laws for different WG’s a set of bye-laws are being looked at which will be derived from the current set of models.  It shouldn't be a lot different from the one we are currently using i.e. attendance to 3 out of 4 meetings.

Achutha: what could be the effect of changing voting rights?
The only way in which we may be affected is if some members lose their right to vote and we need to take a new vote with only the members acceptable under the new DASC rules.  This should not be a problem unless the new vote completely contradicts an earlier one.

Matan: Are we supposed to take part in these discussions or sit back and let it run?
Yaron: we are sponsored by DASC so do have some say in what happens but I believe it is reasonable to leave it to run.  Most of the changes are seemingly ok regardless of the decision which will be made on them .  the only issue which may be of point is the one regarding attendance and voting rights as mentioned earlier.

6. Patent policy

As requested by the IEEE SA, this is a reminder regarding the IEEE patent policy. Please review the call for essential patents and the patent related slide presentation posted on the web site.

7. Next meeting

Next meeting is planned for Monday, May 10th at 9:00 AM pacific (same time as today's meeting).

Yaron : Should we have an informal face to face meeting at DAC?
Positive responses from: Alec Stanculescu, Ken Sailor (proposed by Frank Lang)

8. Adjourn

Motion to adjourn
Second: Matthew







IEEE/SA home
IEEE Standards Association
DASC Home
Design Automation Standards Committee
VLSG Home
Verification Language Study Group
The 1647  PAR
Project Authorization Form




(Updated Wed Oct 11 16:18:17 PDT 2006)