All, In the last meeting we agreed (at least nobody objected) that the strength of a sequential properties should depend on the statement of the overall property : - assert/assume - weak - cover/expect - strong In the LRM there are a lot of examples of properties with no statement. Note that every property has at least one sequential property in it. Although in most of these properties the strength of the sequential sub-properties is being ignored, it is a little bit sloppy to talk about properties who's semantics is not well defined. I am not sure what to do? Changing all the examples in the LRM to have strong/weak operators is a lot of work and much work is waiting in some of the proposals. What do people think? Doron --------------------------------------------------------------------- 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 Sep 30 08:05:19 2007
This archive was generated by hypermail 2.1.8 : Sun Sep 30 2007 - 08:05:24 PDT