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

On Sun, Nov 04, 2007 at 04:28:25PM +0200, Bustan, Doron wrote:
> Hi Johan,
> 
> >> 1) There is still an occurrence of the non terminal const_expression
> >> that doesn't seem to occur in D4. (In the second case for next).
> 
> [DB:] I hope I fixed all of them now.
> 
> 
> >> 2) Why is the non terminal const_or_range_expression used in s_always
> >> and eventually instead of cycle_delay_const_range_expression which is
> >> used in always and s_eventually? Is the intention to allow
> s_always[n]
> >> but not always[n] for example? I think only two number ranges should
> be
> >> allowed in always, s_always, s_eventually and eventually. We already
> >> have s_next[n] for expressing s_always[n] and next[n] for expressing
> >> eventually[n].
> 
> [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.

Regards,

Johan


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