Re: [sv-ac] SV-AC Meeting Reminder

Would like to add in " Enhancement progress update"
0002578: Vacuity definition
http://www.eda-stds.org/mantis/view.php?id=2578
Ben Cohen

On Mon, Oct 25, 2010 at 10:27 AM, Thomas J Thatcher <
thomas.thatcher@oracle.com> wrote:

> 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.
>
>

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.