Subject: Minutes of meeting 10/01/02
From: Yatin Trivedi (trivedi@pacbell.net)
Date: Thu Oct 03 2002 - 21:24:06 PDT
Attendees:
- Stuart Swan (Cadence)
- Francoise Martinole (Cadence)
- John Stickley (Mentor)
- Doug Warmke (Mentor)
- Emerald (Mentor)
- Johnny (Mentor)
- Michael Rohleder (Motorola)
- Bassam Tabbara (Novas)
- Ghassan Khoory (Synopsys)
- Joao Geada (Synopsys)
- Andrzej Litwiniuk (Synopsys)
- Michael McNamara (Verisity)
- Swapnajit Mittra (SGI)
- Tarak Parikh (@HDL)
- Kevin Cameron (National Semiconductor)
- Alain Raynaud (Tensilica)
- Yatin (ASIC Group)
Minutes:
o Yatin explained that some emails were not forwarded by the email
reflector
because those emails came from a domains that the reflector did not
recognize.
Yatin will send the list of email addresses that the reflector has in
its
record.
o The minutes of the last meeting (9/24) were approved.
o Yatin clarified that the previous voting guidelines he sent was for
increasing participation in the voting process. He has sent questions
about this to Accellera's board and has not heard back from them. In
absence of any clarification from the board, the guideline for
eligibility for procedural voting would be
- One company, one vote
- Only Accellera member companies may vote.
- Attendance must be > 75 % or 3 out of last 4 meetings to vote.
This meant 4 companies could vote for DirectC donation: Cadence,
Novas, Synopsys and Motorola.
o DirectC donation was accepted with 3 votes in favor and 1 against.
o In reply to Swapnajit's question, Yatin clarified that once accepted,
a proposal for changing or enhancing a donation can be made by any
member
and the issue will be decided over vote. The donor will not have any
particular privilege in deciding the changes.
o Michael asked Yatin about the procedure going forward to keep track
of the issues. Yatin replied that an action item will be opened for each
issue that needs further discussion, it will be properly documented and
will be slated for a vote if needed.
o Kevin will synchronize with SV-EC on behalf of SV-CC regarding the
pointer type variable.
o A face-to-face meeting of SV-CC has been tentatively scheduled on
12th Nov in San Jose. Yatin will send out an email later.
o Joao presented the Assertion API donation. Some of the questions
that came up were:
- Is it possible to access the individual expressions of an
assertion ? Joao answered this capability now exists.
- Is there a list of requirements for assertion API ? Yatin
said it was already there on the SV-CC web page.
- Does the assertion API provides mechanism to provide "near hits" ?
- Kevin asked why System Verilog itself is not sufficient to
provide the capabilities that the assertion API is providing ?
The members decided to take the discussion offline over email
exchange.
- Ghassan proposed a vote on the donation of assertion API. Yatin
will
send an email on eligibility. The email vote should be cast
by Monday (10/07) 6:00pm PST.
This archive was generated by hypermail 2b28 : Thu Oct 03 2002 - 21:13:06 PDT