*With reference to "Mantis 3195 Local variable flow-in subproperties"*
[Dana]: Looking at example. It looks like it could be represented in PSL.
[Ben 9/13/10]: Do we want to consider the forall?
[Dmitry]: May be able to use const free variables to do this.
[Ben 9/13/10] Example?
[Ed]: Good for formal, Not good in simulation
[Ben 9/13/10] OK if only for formal. But the Local variable flow-in
subpropertie would also be good for simulation.
[Dmitry]: Suggest we discuss next time what other enhancements we would like
the working group to approve.
[Ben 9/13/10] Dmitry, is this in your agenda for 9/14/10 meeting?
On Mon, Sep 13, 2010 at 8:54 AM, Korchemny, Dmitry <
dmitry.korchemny@intel.com> wrote:
> Date: 2010-09-14
>
> 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=9857779
>
>
>
> Agenda:
>
> -------
>
> - Reminder of IEEE patent policy.
>
> See: http://standards.ieee.org/board/pat/pat-slideset.ppt
>
>
>
> - Minutes approval
>
>
>
> - F2F meeting (discussion)
>
>
>
> - Email ballot results
>
> 2452: No vacuity information about synchronous aborts
>
>
>
> - New issues
>
>
>
> - Enhancement progress update
>
> 2476 Need clarification about system functions $onehot, etc
>
> Checker usability enhancements
>
>
>
> - Issue resolution/discussion
>
> 1853: BNF for calls to $rose and other sample value system functions.
>
> 2904: Clarify when disable iff condition must occur relative to starting
> and ending of an attempt
>
> 3134: sequence and property range parameters are erroneously defined
>
> 3135: Verbal explanation of nexttime and always is misleading for multiple
> clocks
>
> 1678: Clarify that rewriting algorithm doesn't replace name resolution
>
> 2571: confusing assertion clock inference rule
>
> 2386: Rename 16.9 to "Local variables"?
>
> 3117: make it clear that rewriting algorithm (F.4.1) applies to checker and
> let
>
>
>
> - 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* <http://www.mailscanner.info/>, and is
> believed to be clean.
>
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Sep 13 20:06:09 2010
This archive was generated by hypermail 2.1.8 : Mon Sep 13 2010 - 20:06:17 PDT