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 25th Ave Hillsboro, OR 97124 Phone: (503) 712-3134 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
This archive was generated by hypermail 2.1.8 : Mon Nov 19 2007 - 12:49:42 PST