In 16.10, p.348, example at bottom: 'do1' seems like an odd variable name, not consistent with the rest of the example. 'd' might be better. Erik Seligman Formal Verification Architect Corporate Design Solutions Design Technology and Solutions Intel Corporation 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.Received on Mon Jun 30 09:52:51 2008
This archive was generated by hypermail 2.1.8 : Mon Jun 30 2008 - 09:53:04 PDT