Subject: Re: [sv-ac] R29a/b Optional or mandatory name for assertions/properties/assumptions.
From: Tom Anderson (tla@0-in.com)
Date: Wed Sep 18 2002 - 10:54:41 PDT
I agree with Simon. Why force someone to name an assertion if he or she
is happy using the default generated names?
> I think that they should be optional, and that tool can a) choose to auto
> generate one if it is not named and a name is given, or b) tool can decide
> to ignore un-named assertions.
Tom A.
This archive was generated by hypermail 2b28 : Wed Sep 18 2002 - 11:02:14 PDT