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

Ok, it's not a big deal. I interprete "should usually be written
so that" as "more often than not should it be written so that".

Yes, maybe there are situations where this rule should not be followed.

Best Regards,

Johan M



On Fri, Nov 30, 2007 at 11:08:29AM +0200, Bresticker, Shalom wrote:
> 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.

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