RE: [sv-ac] Call to vote. Due July 19

SVDB 2722 ___Yes _X_No
http://www.eda-stds.org/mantis/view.php?id=2722
http://www.eda-stds.org/mantis/file_download.php?file_id=4388&type=bug
 
Reason for voting no for 2722
I think we should not modify the property 'data_end' - a boolean
expression form of this property is used as antecedent of implication in
'data_end_rule1'.
In Fig 16.15 in the proposal there is `data_end_stop - the actual
`define in the LRM is `data_end_exp. I am not sure if we want to put
`data_end_exp or data_end (the first property). It seems there is a
general rule to show green(red) arrows for property/sequence pass(fail).
`data_end_exp is just an expression.
 
 
SVDB 2839 _Y_Yes ___No
http://www.eda-stds.org/mantis/view.php?id=2839
http://www.eda-stds.org/mantis/file_download.php?file_id=4376&type=bug
 
---------------------------------------------------------------------
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.