RE: [sv-ac] Proposal uploaded for Mantis 2722

I did not check the technical content, but I have two editorial comments:

1. " Each time the sequence $rose(data_phase) matches, an evaluation of the consequent property is begun." - should be simply "begins".

2. "FrameMaker has only 8 standard colors. I created three new colors to match the colors in the existing diagrams. I named them so as to avoid name collisions with other colors. The colors could be changed to use similar colors from the palette in the main document" - Using nonstandard colors is liable to create problems later for the editor and for the IEEE. More generally, it is best to avoid use of colors being essential in order to allow black-and-white printing.

Shalom

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of ben cohen
Sent: Saturday, July 10, 2010 5:36 AM
To: thomas.thatcher@oracle.com
Cc: sv-ac@eda.org
Subject: Re: [sv-ac] Proposal uploaded for Mantis 2722

Minor changes:
$rose(data_phase) |-> ##[1:5] ((irdy==0) && ($fell(trdy) || $fell(stop))) ; // OK
<Then, at clock tick 6, property
data_end is evaluates to true because stop gets asserted while irdy is asserted.>
Should be:
Then, at clock tick 6, property
data_end is evaluates to true because $fell(stop) evaluates to true while irdy==0 is asserted.

On Fri, Jul 9, 2010 at 4:56 PM, Thomas J Thatcher <thomas.thatcher@oracle.com<mailto:thomas.thatcher@oracle.com>> wrote:
Hello Everyone,

I have uploaded a proposal for Mantis 2722. Nothing controversial, but probably a few details to fix. We can discuss it at the next meeting.

Thanks,

Tom

--
This message has been scanned for viruses and
dangerous content by MailScanner, 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.
---------------------------------------------------------------------
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.