Re: [sv-ac] 1987 and 1503

Hi Lisa,

I think (2) is pretty clear, you don't get a CB if not evaluated, still I am ok with extra clarification if you feel it's warranted.

THX. 
-Bassam

----- Original Message -----
From: Lisa Piper <piper@cadence.com>
To: Bustan, Doron <doron.bustan@intel.com>; sv-ac@eda.org <sv-ac@eda.org>; Bassam.Tabbara@synopsys.COM <Bassam.Tabbara@synopsys.COM>
Sent: Wed Nov 28 08:19:50 2007
Subject: RE: [sv-ac] 1987 and 1503

Two questions, the second of which is for Bassam:

 

16.14 Concurrent assertions

A property on its own is never evaluated for checking an expression. It must be used within a verification

statement for this to occur. A verification statement states the verification function to be performed on the

property. The statement can be one of the following:

— assert to specify the property as a checker to ensure that the property holds for the design

— assume to specify the property as an assumption for the environment

—      cover to monitor the property evaluation for coverage

 

 

1.	Is an immediate assertion considered a verification statement?  This is written for concurrent assertions. I suspect there should be a similar one for immediate assertions.  (Refer to Mantis 1729 which is not yet in D4. I suspect it should be added relative to that text.)
2.	“A property on its own is never evaluated for checking an expression. It must be used within a verification statement for this to occur.”  I think this highlights an issue with the VPI (which should be fixed in 1503).   In 1503,  it was clarified what callbacks apply to sequence and property instances. “The callbacks on the property and sequence instances are cbAssertionStart, cbAssertionSuccess and cbAssertionFailure only. “ I think it should be clarified that this is for property and sequence instances that appear in a verification statement.  So for example if I instantiate a property or sequence in another property or sequence that never appears in a verification statement, it will not be evaluated. 

 

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Bustan, Doron
Sent: Wednesday, November 28, 2007 2:37 AM
To: sv-ac@eda.org
Subject: [sv-ac] 1987

 

I wrote a short proposal for 1987

 

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. 

-- This message has been scanned for viruses anddangerous content by MailScanner, and isbelieved to be clean.