RE: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions.

Subject: RE: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions.
From: Dagan, Gail M (gail.m.dagan@intel.com)
Date: Tue Sep 17 2002 - 12:37:45 PDT

There are a lot of reasons an assertion needs a name.
Tools can refer to assertions by name when reporting on
which ones pass/fail verification. Likewise, users may
need to indicate to the tool which assertions should be used
to prove other assertions (or converseley the tool can tell the
user which assertions it used to prove another assertion.) A
unique assertion name is the best way to do that.

The real question that arises is, does a user need to manually
specify the name or can the tool auto-generate a unique name.
The second option can be problematic if your simulator generates
unique names one way, your coverage tool another way and your
formal verification tool a third way. This leaves the user no
way to correlate what's going on with the assertions in the different
tasks. So because of thism should the manual naming be mandatory,
or do we let the user decide which assertions to name and which
to let the tool(s) name?

Thanks, Gail Dagan
Phone 503-712-1781

-----Original Message-----
From: Adam Krolnik [mailto:krolnik@lsil.com]
Sent: Tuesday, September 17, 2002 11:27 AM
To: sv-ac@eda.org
Subject: [sv-ac] R29a/b Optional or mandatory name for
assertions/properties/assumptions.

Good afternoon;

I would like to understand how you intend to use names placed on
properties/assertions/assumptions in tools.

I would also like to understand what you would do in a tool
with an assert/etc without a name. How would you refer to this
element?

My position is that a mandatory name is best for:
  Ease of reference to the element by external means (tools, etc.)
  referral in conversations about failures, etc.
  referral in documents for coverage, testplans, etc.
  Ease of location of the assertion (within editor, etc.)
  

   Thanks.

   Adam Krolnik
   Verification Mgr.
   LSI Logic Corp.
   Plano TX. 75074

This archive was generated by hypermail 2b28 : Tue Sep 17 2002 - 12:39:15 PDT