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
------------------------------------------------------------

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