Hi Ben;
The LRM example you show
>LRM 17.11 The property definition states on page 236
>property rule2;
> @(clkev) disable iff (foo) not a |-> b ##1 c ##1 d;
>endproperty"
Hmmm, I thought we were going to drop the "not" from this example - or was it another?
There is one other problem with this property. It suffers from incorrect precedence
assumption. It is really parsed as:
(not a) |-> b ##1 c ##1 d
Since the operator 'not' has highest precedence (over implication) you don't really get
what you may want (maybe twice).
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
Co-author "Assertion-Based Design"
Received on Mon Apr 12 07:52:18 2004
This archive was generated by hypermail 2.1.8 : Mon Apr 12 2004 - 07:52:49 PDT