Re: [sv-ac] question on sequence match items

Hi Lisa:

Any task could have a side effect.  For example, the task could assign to
a variable that is being observed by the assertion.

An example of a time consuming task that may be useful is to stop
simulation after some positive number of time steps.  For failure
analysis it can be useful to have some additional simulation to look
at after the failure (e.g., did an event occur a few cycles later than
expected).

J.H.

> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Thu, 25 Sep 2008 08:28:34 -0400
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: [sv-ac] question on sequence match items
> Thread-Index: AckeRvfIpkwmO8GZTqi/4hVERXx+ZwAwl2Ew
> From: "Lisa Piper" <piper@cadence.com>
> Cc: <sv-ac@eda.org>
> X-Received: By mx-sanjose2.Cadence.COM as m8PCSZB3025799 at Thu Sep 25 05:28:37 2008
> X-OriginalArrivalTime: 25 Sep 2008 12:28:44.0353 (UTC) FILETIME=[402C0310:01C91F0A]
> 
> Hi John,
> 
> Thanks for the response. I can see that it is possible to execute a time
> consuming task, but is it practical? Can you think of an example where a
> user would want to do it? It seems like it is a capability that could
> lead to undesired side effects if not used carefully. I suppose it is no
> different than delays in action blocks, though I'm not sure when you
> would use that either.
> 
> Lisa
> 
> -----Original Message-----
> From: John Havlicek [mailto:john.havlicek@freescale.com]=20
> Sent: Wednesday, September 24, 2008 9:11 AM
> To: Lisa Piper
> Cc: sv-ac@eda.org
> Subject: Re: [sv-ac] question on sequence match items
> 
> Hi Lisa:
> 
> Yes, you can have a time consuming task as sequence match item.
> 
> When the sequence matches, the task is scheduled to begin execution
> in the reactive region of that timestep, and the assertion has nothing
> else to do with the task execution.  The processing of match items
> continues and the assertion does not wait on the task.
> 
> J.H.
> 
> > X-eda.org-MailScanner-Watermark:
> 1222810467.33383@PWr2BzE4wcffP0bJBazytg
> > X-Authentication-Warning: server.eda.org: majordom set sender to
> owner-sv-ac@eda.org using -f
> > X-eda.org-MailScanner-Watermark:
> 1222810433.57335@NJU/d3NZeWgWflozZsnIjw
> > X-MimeOLE: Produced By Microsoft Exchange V6.5
> > Content-class: urn:content-classes:message
> > Date: Tue, 23 Sep 2008 17:33:56 -0400
> > X-MS-Has-Attach:=20
> > X-MS-TNEF-Correlator:=20
> > Thread-Topic: question on sequence match items
> > Thread-Index: AckdxBWGzlhZWmjvTHS9gfGn1zv8Og=3D=3D
> > From: "Lisa Piper" <piper@cadence.com>
> > X-Received: By mx-sanjose2.Cadence.COM as m8NLXog5013367 at Tue Sep 23
> 14:33:51 2008
> > X-eda.org-MailScanner: Found to be clean, Found to be clean
> > X-Spam-Status: No, No
> > Sender: owner-sv-ac@eda.org
> > X-eda.org-MailScanner-Information: Please contact the ISP for more
> information
> > X-MailScanner-ID: m8NLYN2O015404
> > X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org
> > X-OriginalArrivalTime: 23 Sep 2008 21:36:22.0126 (UTC)
> FILETIME=3D[6C1AC8E0:01C91DC4]
> >=20
> > This is a multi-part message in MIME format.
> >=20
> > ------_=3D_NextPart_001_01C91DC4.10EF99EC
> > Content-Type: text/plain;
> > 	charset=3D"us-ascii"
> > Content-Transfer-Encoding: quoted-printable
> >=20
> > Hi all,
> >=20
> > I have a question on sequence match items.  Can I have a time
> consuming
> > task as a sequence match item?  I don't think it makes sense,
> especially
> > if there are multiple sequence match items, or if an assignment is
> done
> > in the task that is used later in the assertion.   However, I don't
> see
> > any restriction mentioned.  The closest thing I see is in section
> 16.11
> > where it states "Assertion evaluation does not wait on or receive data
> > back from any attached subroutine."
> >=20
> > Lisa
> >=20

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.