[sv-ac] RE: question on vpiAssertionKill

From: Bassam Tabbara <Bassam.Tabbara_at_.....>
Date: Fri Mar 21 2008 - 08:28:18 PDT
It is a means to have an "id" -- attemptStartTime is the start time of
an attempt of assertion. This is used in the clause to get at a unique
attempt.
 
Why would it be future ? It is not.
 
Thx.
-Bassam.
 

________________________________

From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Friday, March 21, 2008 6:23 AM
To: bassam.tabbara@synopsys.COM; sv-ac@eda-stds.org
Subject: question on vpiAssertionKill



Bassam (and anyone else with an opinion on this),

The standard calls for an argument to vpiAssertionKill that is the
"attemptStartTime".   

Usage example:

vpi_control(vpiAssertionKill, assertionHandle, attemptStartTime)

- vpiAssertionKill discards the given attempts, but leaves the assertion
enabled and does not

reset any state used by this assertion (e.g., past() sampling).

Can this time be in the past or in the future?  Can you provide an
example use model for when a use might want to do each?

Lisa


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Fri Mar 21 08:29:58 2008

This archive was generated by hypermail 2.1.8 : Fri Mar 21 2008 - 08:30:52 PDT