Hi guys-- at yesterday's SV-CC meeting, they approved 2005, conditional on the friendly amendment that the #define at the end (Annex N) be moved to after vpiIsClockInferred. So I made that change; the doc is attached. I guess we need to re-voice-vote this final amendment on Tues. As I don't have permission to modify the Mantis tkt right now, can one of you upload this version? 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 : Thu Mar 13 2008 - 08:40:05 PDT