RE: [sv-ac] Re: 1932 LTL.1932.20071005.pdf partial review.

Oops, I think that I forgot to send the version I was talking about.

I think I corrected mostly the syntax.

Doron

-----Original Message-----
From: Johan Martensson [mailto:johan.martensson@jasper-da.com] 
Sent: Wednesday, November 07, 2007 11:02 AM
To: Bustan, Doron
Cc: sv-ac@eda.org
Subject: Re: [sv-ac] Re: 1932 LTL.1932.20071005.pdf partial review.

Hi Doron


On Mon, Nov 05, 2007 at 02:12:16PM +0200, Bustan, Doron wrote:
> Hi Johan,
> 
> > > 
> > > [DB:] I changed the definitions s_always and eventually cannot have
> a
> > > range with $ inside it.
> >
> > Yes but both const_or_range_expression and
> > cycle_delay_const_range_expression seem to allow for n:$ ranges.
> >
> > const_or_range_expression ::= 
> >    constant_expression 
> >  | cycle_delay_const_range_expression 
> >  
> > cycle_delay_const_range_expression ::= 
> >     constant_expression : constant_expression 
> >   | constant_expression : $
> > 
> > The only difference between the two seems to be that
> > const_or_range_expression can be a single constant which
> > cycle_delay_const_range_expression cannot.
> 
> [DB] I used costant_range and constant_expression

Where did you use those? In the latest copy now on mantis
(LTL.1932.20071030.pdf) it seems you use const_or_range_expression for
s_always and eventually. As far as I can see that mans that you allow
not only s_always[n:$] and eventually[n:$] but also s_always[n] and
eventually[n].

Best Regards,

Johan M


> 
> Regards
> 
> Doron
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
> 
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.

-- 
------------------------------------------------------------
Johan Mårtensson                 Office: +46 31 7451913
Jasper Design Automation         Mobile: +46 703749681 
Arvid Hedvalls backe 4           Fax: +46 31 7451939
411 33 Gothenburg, Sweden        Skype ID: johanmartensson
------------------------------------------------------------
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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