[sv-ac] D7 review

Hi Dmitry,

 

Blow are the mantis items and bug notes that I added. I am not sure what
need to be vote on

 

Thanks

 

Doron

 

I added a bug note to 1932 - a redundant line need to be removed.

 

I open a mantis item 2489 for a font correction (we should vote on it)
see attached

 

I add a bug note to 2100, the proposal propose a change consistent with
1932 at F.4.1, but since

1932 is not implemented in the annex F of D7, the implementation does
not make any sense.

 

I open a mantis  item 2490 for a typo in F.4.3.1 

 

I add a bug note for 1757 about index mismatch

 

I add a mantis item 2491 for 16.17:

16.17: Rules e and f are not consistent in the sense that rule e imply
(not conclusively but in spirit) that any 

sequence/property with unique semantic leading clock, can be used as a
top level property in an

assertion statement, while rule f, restricts it to instances. Example c4
is related.

 

 

---------------------------------------------------------------------
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.