RE: [sv-ac] New version of 1995 (concurrent asserts in loops) ready for review

Depends what the intent is. 'usually' would express 'normally what you would want, but there may be special cases which are exceptions'.

Shalom 

> -----Original Message-----
> From: owner-sv-ac@server.eda.org 
> [mailto:owner-sv-ac@server.eda.org] On Behalf Of Johan Mårtensson
> Sent: Friday, November 30, 2007 10:56 AM
> To: Seligman, Erik
> Cc: sv-ac@server.eda.org
> Subject: Re: [sv-ac] New version of 1995 (concurrent asserts 
> in loops) ready for review
> 
> Hi Erik,
> 
> In addition to things already pointed out by Shalom the only 
> thing I object to is the use of the word "usually" in 
> 
>  Thus, to achieve intuitive behavior, concurrent assertions 
> in  procedural loops should _usually_ be written so that all 
> variables in  their property expression are either loop 
> iterators, indexed by loop  iterators, or refer to values 
> that are constant for all iterations of  the loop.
> 
> I'm not a native speaker, so I may be off track, but I think 
> for example "preferably" would be a better choice.
> 
> Best Regards,
> 
> Johan
> 
> 
> On Tue, Nov 27, 2007 at 10:32:56AM -0800, Seligman, Erik wrote:
> >  
> > I have posted it in Mantis, and also attach here for your 
> convenience.
> > 
> > 
> > --
> > This message has been scanned for viruses and dangerous content by 
> > MailScanner, and is believed to be clean.
> > 
> 
> 
> 
> --
> ------------------------------------------------------------
> 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.
> 
---------------------------------------------------------------------
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.