Re: [sv-ac] FW: [sv-ec] not (a |->b), not(a |=> b) disallowed?

> ... then we should modify the
> example on page 236 to a simple sequence, something like:
> property rule2;
> @(clkev) disable iff (foo) not (a ##1 b ##1 c ##1 d);
> endproperty"
>
> Instead of
> LRM 17.11 The property definition states on page 236
> "This allows for the following examples:
> ...
> property rule2;
> @(clkev) disable iff (foo) not a |-> b ##1 c ##1 d;
> endproperty"
> ... bu the way the above is in error same as
> (not a) |-> b ##1 c ##1 d;

I think this modification of the example is good.

J.H.
Received on Tue Apr 13 07:10:49 2004