[sv-ac] SV-AC Meeting Reminder

From: Thomas J Thatcher <thomas.thatcher@oracle.com>
Date: Mon Oct 25 2010 - 10:27:26 PDT

Date: 2010-10-26
Time: 16:00 UTC (9:00 PDT)
Duration: 1.5 hours

Dial-in information:
--------------------
Meeting ID: 38198

Phone Number(s):
1-888-813-5316 Toll Free within North America
Local dial-in numbers
Australia, St Leonards +61.0.2862.26850
Armenia, Yerevan +374.10.492609
Canada, Mississauga +905.273.8402
Canada, Nepean +613.221.8603
Switzerland, Zurich +41.44.567.1551
Chile, Santiago +56.2.714.6898
China, Beijing +86.105.986.0609
China, Shanghai +86.212.307.2214
China, Shenzhen +8675582519810
Germany, Aachen +49.240.756.3610
Germany, Munich +49.899.932.0192
Denmark, Copenhagen +49.899.932.0192
Finland, Espoo +358 2075 78023
Finland, Tampere +358 2075 78085
France, Montbonnot +33.4.56.38.48.09
France, Montpellier +33.4.56.38.48.09
France, Rungis +33.1.45.12.06.12
France, Sophia +33.4.9723.97.06
United Kingdom, Livingston +44.15064.86027
United Kingdom, Reading +44.1189.651119
Sweden, Stockholm +49.899.932.0192
Hungary, Budapest +49.899.932.0192
Ireland, Dublin +353.1.4368831
Israel, Herzelia +972.9.9719650
India, Bangalore +91.80.401.88823
India, Hyderabad +91.40.40.331016
India, Nodia +91.80.401.88823
Italy, Agrate Brianza +39.039.6846712
Portugal, Porto +351.2204.15998
Portugal, Lisbon +351.2104.40398
Taiwan, Taipei +886.2.3725.5705
Taiwan, Hsinchu +886.3.558.1800
Japan, Tokyo +81.3.5746.1339
Japan, Osaka +81.3.5746.1339
Singapore, Singapore +65.6393.7140
South Korea, Seoul +82.2.3404.2701

Live Meeting: https://webjoin.intel.com/?passcode=4159749
(But somebody else will need to drive it.)

Agenda:
-------
- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt

- Minutes approval

- New Guidelines for Mantis Proposals
     1. Mantis proposal must be in PDF format.
     2. Mantis proposal must have a title showing the Mantis number

- Champions Feedback:
Friendly Amendments:
1. 2485: Proposal uploaded. Voice vote.

Failed:
1. 2205: SV-AC $asseroff, $assertkill and $asserton description is
ambiguous
2. 2412: SV-AC Allow clock inference in sequences
3. 2938: SV-AC Surprising (to some users) interaction between deferred
assertions & short-circuiting

- Issue Resolution:
2328 - Review and relax restrictions on data types in assertions
2904 - Clarify when disable iff condition must occur relative to
starting and ending of an attempt
3135 - Verbal explanation of nexttime and always is misleading for
multiple clocks

- Enhancement progress update

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Oct 25 10:28:27 2010

This archive was generated by hypermail 2.1.8 : Mon Oct 25 2010 - 10:28:54 PDT