Date: 2010-06-22
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.97.23.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
Agenda:
-------
- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt
- Minutes approval
- Email ballot results
- New issues:
3099: action block triggering is not well defined
3117: make it clear that rewriting algorithm (F.4.1) applies to checker and let
3120: "expect" construct to refer to virtual interfaces
- Issue resolution/discussion
3113: Add port_identifier to constant_primary BNF for sequences, properties and checkers
2732: Clarify timing diagram in Figure 16-4?Future value change
2362: 16.14 mention of assertion control system tasks is unconnected
2825: 16.16 Disable iff: checkers not included in list of default extensions
2754: P1800-2009 : Can clock change in conditional branch of 'if' operator
2927: Precedence between sequence/property operator and normal expression operator
2452: No vacuity information about synchronous aborts
2557: Rules for passing automatic variables to sequence subroutines are not clear
2556: Explicit package scope indication is not allowed for checkers
2476: Need clarification about system functions $onehot, etc
1763: The LRM does not define whether assertion control tasks affect sequence methods and events
2485: terminology related to immediate and deferred assertions
1756: The LRM does not indicate how the control tasks $asserton/off/kill affect verification statements in initial blocks
2809: Checker instantiation in checkers' always procedure
2938: Surprising (to some users) interaction between deferred assertions & short-circuiting
2353: 'classes' missing from description
2871: Clause 16 does not forbid assertion local variables within clocking event expressions
2248: Champions feedback - items related to Mantis item 1683
1678: Clarify that rewriting algorithm doesn't replace name resolution
2934: Precedence and associtiativity of case operator is not shown in the table
3008: In $past BNF, "expression" should be "expression1"
2479: Annex F.5.2.1 conflicts with changes from 2434
2494: 37.44 Assertion diagram missing restrict
2095: Clarify meaning of distribution as condition for "disable iff"
1627: 17.16: clarify that expect statement not allowed in functions
2904: Clarify when disable iff condition must occur relative to starting and ending of an attempt
1853: BNF for calls to $rose and other sample value system functions
3015: Examples of $fatal have bad arguments
2839: Contradictory statement of increment/decrement operators usage.
2551: trivial example error
2558: Restriction inside checker construct
2340: clarifications needed on vpi_control for non-temporal and immediate assertions
2271: sequence events require a clocked sequence
2255: clarifications on expect
2491: Conflicting rules in 16.17 (D7)
2552: Confusing comments regarding nexttime operator
2571: confusing assertion clock inference rule
2722: Errors in Figures 16-14, 16-15, and 16-16
2546: 'empty match' and 'vacuous success' are not clearly defined in LRM
2386: Rename 16.9 to "Local variables"?
- 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 Sun Jun 20 23:24:31 2010
This archive was generated by hypermail 2.1.8 : Sun Jun 20 2010 - 23:25:02 PDT