[sv-ac] RE: 1731

Hi Doron,

Are you suggesting to add a more detailed description of the meaning of
$past in the LRM? I agree that we should provide it along with the
examples. Unfortunately, I haven't had a chance yet to study John's
feedback and your last mail concerning this proposal.

Thanks,
Dmitry

-----Original Message-----
From: Doron Bustan [mailto:dbustan@freescale.com] 
Sent: Friday, March 23, 2007 12:02 AM
To: Eduard Cerny; Korchemny, Dmitry; sv-ac@eda.org
Subject: 1731

I reviewed 1731. I don't think that the description of $past at 17.7.3
is clear enough. There should be an explicit description of what
timestep
is being sampled by $past w.r.t. the different clocks and the gating 
expression2.

Doron

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.