RE: [sv-ac] technical problem with sequential property

Yes, most of them are given out of context, but the fact that the
sequence is weak or strong does not affect these examples.

 

Dmitry

 

________________________________

From: Bustan, Doron 
Sent: Monday, October 01, 2007 7:59 AM
To: Korchemny, Dmitry; 'sv-ac@server.eda-stds.org'
Subject: RE: [sv-ac] technical problem with sequential property

 

But most of the properties are not in an assert property statement, why
do you assume "assert" and not "cover"?

 

Doron

 

________________________________

From: Korchemny, Dmitry 
Sent: Monday, October 01, 2007 6:37 AM
To: Bustan, Doron; sv-ac@server.eda-stds.org
Subject: RE: [sv-ac] technical problem with sequential property

 

Hi Doron,

 

I don't think that the examples have to be changed in the rest of the
LRM: the defaults will work fine, I didn't find any property that has to
use a strong sequence in assertions. 

 

Thanks,

Dmitry

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Bustan, Doron
Sent: Sunday, September 30, 2007 5:05 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] technical problem with sequential property

 

All,

 

In the last meeting we agreed (at least nobody objected) that the
strength

of a sequential properties should depend on the statement of the overall

property :

 

-          assert/assume - weak

-          cover/expect   - strong

In the LRM there are a lot of examples of properties with no statement.
Note that every property 

has at least one sequential property in it. Although in most of these
properties

the strength of the sequential sub-properties is being ignored, it is a
little bit sloppy to talk about properties 

who's semantics is not well defined. 

 

I am not sure what to do?

 

Changing all the examples in the LRM to have strong/weak operators is a
lot of work

and much work is waiting in some of the proposals.

 

What do people think?

 

Doron

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