RE: [sv-ac] face-to-face meeting notes

Tasks and functions (static, not automatic) have hierarchical names. If
you put a label on the assertion within the task/function, then the
assertion will have a hierarchical name too. What am I missing?

Thanks,
Shalom

> -----Original Message-----
> From: John Havlicek [mailto:john.havlicek@freescale.com] 
> Sent: Tuesday, October 09, 2007 2:17 PM
> To: Bresticker, Shalom
> Cc: piper@cadence.com; john.havlicek@freescale.com; sv-ac@eda-stds.org
> Subject: Re: [sv-ac] face-to-face meeting notes
> 
> Hi Shalom:
> 
> This is really a question about how to refer to an assertion 
> that is written in a function.  The same question will come 
> up for assertions written in other places, such as tasks.
> 
> If you want to use $assertoff, e.g., to control that 
> assertion, then you need to know the rule for referring to it.
> 
> I think that the issue has to do with whether or not the 
> current rules of hierarchical reference give a way to refer 
> to such an assertion.
> 
> J.H.
> 
> 
> > ------_=_NextPart_001_01C80A5A.5DF07E88
> > Content-Type: text/plain; charset="us-ascii"
> > Content-Transfer-Encoding: quoted-printable
> > 
> > Hi,
> > =20
> > What is the assertion naming issue?=20 =20 Thanks, Shalom
> > 
> > 
> 
---------------------------------------------------------------------
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.