RE: [sv-ac] call to vote on 1757

Hi Manisha,

See my comments below:

Thanks

Doron

I vote no on 1757. I think the following issues need to be addressed:

1) In the proposal it has:

 h) A property is a reset if it either of the form

accept_on(expression_or_dist) property_expr
or of the form
reject_on(expression_or_dist) property_expr

I think this part needs some grammar change. 

[DB] I changed it to

" h) A property is a reset if it is of the following forms :
--	accept_on(expression_or_dist) property_expr
--	reject_on(expression_or_dist) property_expr
where the expression_or_dist is called the reset expression."


2) In the propel it says "Insert 16.12.3" but it does not say what would
be the title of this clause.

[DB] I add "Reset properties"

3) In the same section "16.12.3" it says "accept_on affects the truth of
a property in its scope.". I do not quite understand this sentence. 

[DB} I removed this sentence.

4) I am just wondering if there would be any confusion in calling the
expression in accept_on or reject_on as reset expression. We call the
expression in disable iff as reset expression and its semantics is
different than the semantics of these new properties.

[DB] I agree that it is not the same semantics, but I think that the
reset behavior is close enough to give it the same name. 

5) I think some changes in 36.45 will be required due to these new
property types.

[DB] I add two vpi calls

I also change annex F according to Johan's comment.

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.