RE: [sv-ac] Mantis 1757 Accepton / rejecton operators

Hi Tom,

the difference is that these two resets can be placed at the level of
any subproperty, they are synchronized with global clocking and use
sampled values. It allows more concise specifications of certain
properties.

Best regards,
ed 

> -----Original Message-----
> From: Thomas.Thatcher@Sun.COM [mailto:Thomas.Thatcher@Sun.COM] 
> Sent: Thursday, June 14, 2007 5:59 PM
> To: Eduard Cerny
> Cc: sv-ac@eda-stds.org
> Subject: Re: [sv-ac] Mantis 1757 Accepton / rejecton operators
> 
> Hi Eduard,
> 
> I just read the proposal.  My first question is:  Why do we need these
> operators?  What type of problem are we solving?  It appears that the
> only difference from "disable iff" is that the property 
> evaluations will
> complete with a given value on a reset, rather than not completing.
> 
> The second thought is that the rejecton and accepton names 
> don't really
> describe their function too well.  I had to read the first part of the
> proposal to figure out what these new operators were for.
> 
> Tom
> 
> Eduard Cerny wrote On 06/14/07 11:19,:
> > Hello,
> > 
> > I have uploaded an updated version of the proposal, also 
> attached here.
> > 
> > best regards,
> > ed
> > 
> 
> -- 
> ------------------
> Thomas J. Thatcher
> Sun Microsystems
> 408-616-5589
> ------------------
> 

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