Subject: Re: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions.
From: John Havlicek (john.havlicek@motorola.com)
Date: Wed Sep 18 2002 - 16:59:49 PDT
> 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?
J.H.
This archive was generated by hypermail 2b28 : Wed Sep 18 2002 - 17:01:12 PDT