Subject: Re: [sv-ac] R29a/b Optional or mandatory name for assertions/properties/assumptions.
From: Alain Raynaud (alain@tensilica.com)
Date: Wed Sep 18 2002 - 13:41:04 PDT
I second that.
> Even though I gave all of those reasons why a user name
> is nice, it still seems to me that it's the job of the
> language to allow for it, and it's the job of any design
> project to decide on usage. The design project will be
> choosing the tool suite and determining the methodology.
> Let the design project add the rule to their RTL code
> linter if they want to force mandatory naming because
> the tools they've chosen want to use it.
>
Alain Raynaud
Tensilica, Inc.
This archive was generated by hypermail 2b28 : Wed Sep 18 2002 - 13:43:24 PDT