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

Hello Everyone,

I have uploaded a new proposal for 2722. I made the following changes.

I fixed the signal name in the new Fig 16.15:
        `data_end_stop --> `data_end_exp

I changed the signal name in the new Fig 16.16:
        data_end --> `data_end_exp

Regarding the other comments:

I changed the property data_end used in Fig 16.14, because it didn't
make much sense to me. Fig 16.14, shows this property succeeding in
cycle 6, but the property, as originally written, would fail in cycles
2, 3, 4, 5, 7, and 8. (I could change the figure instead to show the
property failures, if that is what everyone wants).

A boolean expression is a sequence (of a singel cycle). So it should be
perfectly reasonable to show the match of the boolean expression
`data_end_exp in Fig 16-15 and 16-16.

Thanks,

Tom

On 07/15/10 11:39, Prabhakar, Anupam wrote:
> 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 <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 <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* <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.