RE: [sv-ac] 1674 updated

Here it is with correction...
Bestest
ed 

> -----Original Message-----
> From: Thomas.Thatcher@Sun.COM [mailto:Thomas.Thatcher@Sun.COM] 
> Sent: Tuesday, April 17, 2007 3:56 PM
> To: Eduard Cerny
> Cc: sv-ac@eda-stds.org
> Subject: Re: [sv-ac] 1674 updated
> 
> Hi Ed,
> 
> I reviewed the proposal.  There is one correction.
> 
> 
> For assertion a3, you got the change in for the enabling condition. 
> However, you also need to change the text below:
> 
>     The inferred enabling condition for assertion a3 is (!rst && d).
> 
> 
> -- 
> ------------------
> 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.