RE: [sv-ac] 1757 accept_on/reject_on proposal

Hi Lisa,

I made some changes according to the notes below.

 

1.      in 16.12, there is discussion of several kinds of properties.  I
am trying to relate this to the F.2.1 list.  F.2.1 does not list the
if-else and it references the "and" and "or" forms instead of
"conjunction" and "disjunction".  I'm not sure what the instantiation
means unless it is the parenthesized form. Should we use the same
terminology?  

[DB] That is a good question and we probably do something about it. But
since it is more then the accept_on reject_on issue, I would put it in
another mantis item. I did change the form to reset in annex F.

Also note the extra space in the new text "reset,   and instantiation"

[DB] fixed.

2.      "In particular, when reject_on ..."   ->  suggest dropping the
"in particular" since the statement before is not the same concept.

[DB] I disagree, the general clause talks about termination of the sub
property inside the accept_on, and the particular clause talks about
termination of the sub property inside the accept_on which happen to be
a reject_on.

3.      The paragraph above Annex F.3.6.1 that starts with "the operator
reject_on has the dual semantics." Needs to be reworded. Are you trying
to say:  "A word w satisfies property "reject_on(b) P" if and only if w
satisfies P before b is asserted. 

 

[DB] I made reject_on a derived operator (not accept_on (b) not P) and
removed this paragraph.

Doron

 

 

 

 

 

 

 

 

 

Lisa


-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 
---------------------------------------------------------------------
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.