Done. J.H. > 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.Received on Thu Mar 13 12:02:44 2008
This archive was generated by hypermail 2.1.8 : Thu Mar 13 2008 - 12:03:09 PDT