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

From: Adam Krolnik <krolnik@lsil.com>
Date: Mon Apr 12 2004 - 07:52:07 PDT

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