Subject: Re: [sv-ac] nested implication example
From: Adam Krolnik (krolnik@lsil.com)
Date: Thu Feb 13 2003 - 09:30:13 PST
Good morning Surrendra, all;
You wrote:
>sequence next_event(e) = ((!e * [0:inf]) ; e);
>property p15 = ((write_valid ; true) =>
> ((int addr = addr_bus[0:7])
> (true ; next_event(write_valid))
> => (true;(addr != addr_bus[0:7]))))
Specifically the use of next_event()
Is (!e*[0:inf; e) the same as
([0:inf]; $rose(e))
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Thu Feb 13 2003 - 09:31:01 PST