Re: [sv-ac] RE: 1731

<forwarding bounced email from Bustan Doron>

-------- Original Message --------
Subject: RE: 1731
Date: Tue, 27 Mar 2007 09:05:05 -0700
From: "Bustan Doron-DBUSTAN" <doron.bustan@freescale.com>
To: "Korchemny, Dmitry" <dmitry.korchemny@intel.com>,
        "Eduard Cerny" <Eduard.Cerny@synopsys.com>, <sv-ac@server.eda.org>

Hi Dmitry,

The expression is already there, however, there was no
Description of its semantics in Annex E.

Doron

-----Original Message-----
From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
Sent: Tuesday, March 27, 2007 11:01 AM
To: Bustan Doron-DBUSTAN; Eduard Cerny; sv-ac@eda.org
Subject: 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.




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