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: Adam Krolnik (krolnik@lsil.com)
Date: Thu Sep 19 2002 - 07:40:53 PDT

Good Morning John;
: onehot: assert always ($onehot(s)) @(posedge assert_clk)
: else $error("sel is %b", s);

>I am confused. Is "onehot" the name given to the assertion?
>This seems unlikely to be unique. Is the understanding that
>mandatory names need not be unique?

This assertion was pulled from one of my modules. Names of assertions,
like names of instances in a module, must be unique within a module.
No requirement on names is made across modules.

   Thanks.

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

This archive was generated by hypermail 2b28 : Thu Sep 19 2002 - 07:41:40 PDT