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.Received on Tue Apr 17 12:56:21 2007
This archive was generated by hypermail 2.1.8 : Tue Apr 17 2007 - 12:56:30 PDT