RE: [sv-ac] Mantis 1674 proposal - Inferred value functions

Hello all,

I would lik eto update the proposal if we could agree on what to do if
there are more than 2 edge expressions. I think that the OR is better,
but... what do you all suggest??

ed
 

> -----Original Message-----
> From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com] 
> Sent: Friday, February 23, 2007 4:36 AM
> To: Thomas.Thatcher@Sun.COM
> Cc: Eduard Cerny; sv-ac@eda-stds.org
> Subject: RE: [sv-ac] Mantis 1674 proposal - Inferred value functions
> 
> Tom,
> 
> > Mantis 1648 has to express the same thing, but it didn't use the
> > word "synthesizable".  Perhaps some language could be borrowed from
> > the 1648 proposal.
> 
> I agree, but:
> 
> the 1648 proposal says,
> 
> "An asynchronous reset is detected if and only if the event control
> expression of the always or always_ff block has the following form:
> 
> edge_identifier1 expression1 [ iff expression ] or edge_identifier2
> expression2
> 
> Two notes:
> 
> 1. A comma can be used instead of the keyword "or".
> 
> 2. If a FF has both an asynchronous reset and an asynchronous 
> set, then
> there will be a third "edge_identifier expression" term. 
> 
> What to do in that case? 
> 
> Ed made two suggestions:
> 
> 1. Use the second term only.
> 2. Logcial-OR the second and third terms together.
> 
> Thanks,
> Shalom
> 

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