This version attempts to account for 1729 (immediate assume/cover), and adds VPI stuff. Ed-- can you double-check that the immediate assume/cover comments make sense? Bassam-- can you review the VPI edits? I tried to simplify from my earlier proposal by viewing deferred assertions as a type of immediate assertion, so we create a vpiIsDeferred attribute rather than forking off a duplicate set of diagrams. Thanks! 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 : Fri Dec 07 2007 - 14:45:51 PST