[sv-ac] RE: 1503 ready to vote again

Hi Lisa,

 

Thanks for the prompt fix. This is OK as to my amendments is concerned.
Should I call to vote now or you want first to address the issue
concerning the "sequence inst" diagram?

 

Dmitry

 

________________________________

From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Wednesday, November 28, 2007 10:22 PM
To: Korchemny, Dmitry
Cc: sv-ac@eda.org
Subject: 1503 ready to vote again

 

Hi Dmitry,

Please check that your friendly amendments were incorporated correctly
and then call for another vote. I am optimistically putting this on
Mantis.

<<1503_vpi_071128.pdf>> 

The changes since the last vote include:

After review:

14. [DK] Updated the text in 38.3.2 to reflect Mantis1729 as a basis.
Also added a space after immediate and made the second word lower case
in the text from 1729. Also lower cased the word instance" in "Property
instance" and "Sequence instance"

15. Added clarification to cbAssertionStart that A property or sequence
instance that is not instantiated in a verification statement will never
start.

16. [DK] New diagram on page 5: sequence expr (bottom right) should not
have an underscore

17. [DK] * 38.4.2, Page 8.

It is written:

- cbAssertionSuccess. An assertion attempt reaches a success state. For

property or sequence instances, success is a match.

- cbAssertionFailure. An assertion attempt fails to reach a success

state. For property or sequence instances, failure is no match.

The second sentence is ambiguous: does cbAssertionFailure relate to each

time point where the sequence does not match or to the time point where

it is detected that the sequence cannot be matched? I think that the

latter is correct. Also it is better to talk about the success state of

a property instead of the match.

I would formulate it as:

- cbAssertionSuccess. An assertion attempt or a property instance

reaches a success state. For sequence instances, success is a match.

- cbAssertionFailure. An assertion attempt or a property fails to reach

a success state, or sequence instance fails to match.

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