[sv-ac] R29a/b Optional or mandatory name for assertions/properties/assumptions.

Subject: [sv-ac] R29a/b Optional or mandatory name for assertions/properties/assumptions.
From: Adam Krolnik (krolnik@lsil.com)
Date: Tue Sep 17 2002 - 11:26:37 PDT

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 - 11:29:33 PDT