Subject: [sv-ec] Re: discrete time
From: Kevin Cameron x3251 (Kevin.Cameron@nsc.com)
Date: Tue Jan 14 2003 - 12:58:52 PST
> From Surrendra.Dudani@synopsys.com Tue Jan 14 12:35:56 2003
>
> Delta cycles are not quantized, and not part of the language. You cannot
> refer to a delta cycle.
> Surrendra
What's your definition of "quantized".
We're defining extensions to the language, no reason we can't add counting
deltas if it makes assertions more usable.
Kev.
> At 12:28 PM 1/14/2003 -0800, you wrote:
> > > From Surrendra.Dudani@synopsys.com Tue Jan 14 12:19:36 2003
> > >
> > > If two events occur within the same time unit, we can refer to their
> > > occurrence in certain order. However, there is no way to quantify the time
> > > within a time unit. Assertions require quantified time.
> > > Surrendra
> >
> >You can count delta cycles within a tick if you need to. From a logical
> >standpoint all times are relative, there is no real need to differentiate
> >between a tick and a delta.
> >
> >Kev.
<snip>
This archive was generated by hypermail 2b28 : Tue Jan 14 2003 - 12:59:52 PST