Subject: Re: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions.
From: Joseph Lu (Juin-Yeu.Lu@sun.com)
Date: Wed Sep 18 2002 - 15:08:07 PDT
Mandating every assertion being attached with a name will create much
hurdle for users.
In many cases, if the assertions are local to a module and the assertion
will be not instantiated anywhere else, it is inconvenient to have a name.
On the other hand, if an assertion will be instantiated multiple times, it
is better to have a name attached to it.
--Joseph
>Date: Wed, 18 Sep 2002 14:36:24 -0700 (PDT)
>From: Shrenik Mehta <Shrenik.Mehta@sun.com>
>Subject: Re: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions.
>To: prakash@realintent.com, sv-ac@eda.org
>MIME-Version: 1.0
>Content-MD5: ohDxo145oUvvhGOLmhG1aQ==
>
>
>.Date: Wed, 18 Sep 2002 13:39:28 -0700
>.From: Prakash Narain <prakash@realintent.com>
>.
>.However, the harder we make for engineers to debug feedback from the tool
>.and to maintain their tool control scripts while their design is
>.changing, the
>.harder it will be to get the assertions adopted. Today I analyzed ovi1751
>.and fixed a bug. Tomorrow ovi1769 requires debugging.
>.
>.Let us use a different approach.
>.
>.I say that if I am a design manager using assertions I will make naming of
>.assertions mandatory. Let us hear from other design manager wannabes
>.out their. Gail, what would you do?
>
>
>So on a project, if we have to write about 10,000 assertions how would it
>work or not work?
>
>I have not followed the thread too carefully, so I might have missed the
>context.
>
>
>Shrenik
>.
>.Best Regards,
>.
>.Prakash
>.
>.Tom Anderson wrote:
>.
>.>Well said, Gail. One additional point is that we want to encourage
>.>engineers to use assertions. The more characters we require for each
>.>assertion, the harder we make it look.
>.>
>.>Tom A. [aka ovi1751]
>.>
>.>.
>.>
>.
>.
>
>---------------------------------------------------------------------------
>Shrenik Mehta Tel: 408-774-8580
>Senior Engineering Manager Fax: 408-774-8154
>Global Testability, Tools and Validation
>Computer Systems email:shrenik.mehta@Sun.Com
>Sun Microsystems pager:shrenik.mehta@pager.Eng.Sun.COM
>---------------------------------------------------------------------------
>
This archive was generated by hypermail 2b28 : Wed Sep 18 2002 - 15:09:18 PDT