Modifications from last week's version to address the issues raised in recent emails: - Clarified language describing deferred assertions as a subset of immediate assertions - Elaborated a bit more on deferred assumes and covers, and added an example showing use of a deferred cover - Some minor corrections to the VPI diagrams Tell me what you think... 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.
This archive was generated by hypermail 2.1.8 : Tue Dec 11 2007 - 04:06:33 PST