Date: 2011-08-09
Time: 16:00 UTC (9:00 PDT)
Duration: 2 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=9818427
Agenda:
-------
- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt
- Minutes approval
- Email ballot results:
Issue 2328 passed with friendly amendments: 7y/0n/0a
Issue 3033 failed: 6y/2n/0a
Issue 3295 failed: 7y/1n/0a
- Draft2 review
- New issues
- Champions' feedback
2476 Need clarification about system functions $onehot, etc
3015 Examples of $fatal have bad arguments
3069 Relax rules for $global_clock resolution
3113 Add port_identifier to constant_primary BNF for sequences, properties and checkers
3385 Possible ambiguity when deferred assertion action block calls nested function
- Issue resolution/discussion
3233: implicit wire declarations should occur in instantiations of programs/interfaces also
2547: local variable read before write
2578: Vacuity definition
3206: Deferred assertions are sensitive to glitches
3295: need a way to control only asserts/covers/assume directives
2093: Checker construct (0001900) should permit output arguments
- Opens
---------------------------------------------------------------------
Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Aug 16 04:37:14 2011
This archive was generated by hypermail 2.1.8 : Tue Aug 16 2011 - 04:37:18 PDT