Hi Erik, I read through your new proposal for 1995, and reviewed the e-mail thread between you and Gord. The new proposal looks good! Tom Seligman, Erik wrote On 11/19/07 12:46 PM,: > PDF also included here for reference. This version addresses the main > issues that Gord brought up, replacing the generate-based rewrite with a > more procedural description. > > Those of you who had an interest in this one-- pls take a look and tell > me if your concerns are addressed. > > Thanks! > > > > *Erik Seligman* > > ***Formal Verification Architect* > > *Corporate Design Solutions* > *Design Technology and Solutions* > > M.S. JF4-402 > 2111 NE 25^th Ave > Hillsboro, OR 97124 > > Phone: (503) 712-3134 > > > > -- > This message has been scanned for viruses and > dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is > believed to be clean. -- ------------------ Thomas J. Thatcher Sun Microsystems ------------------ -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Nov 20 17:20:32 2007
This archive was generated by hypermail 2.1.8 : Tue Nov 20 2007 - 17:21:16 PST