Here's the answer to that question that came up during the mtg, about using a hier reference within a checker. ________________________________ From: Korchemny, Dmitry Sent: Wednesday, July 16, 2008 11:19 AM To: Seligman, Erik Subject: RE: checkers question Yes, this is legal. They use the declaration context. Dmitry ________________________________ From: Seligman, Erik Sent: Wednesday, July 16, 2008 8:15 PM To: Korchemny, Dmitry Subject: checkers question In the current version of checkers, are hier references to stuff above them legal? ('top.foo.bar' referenced within a checker that appears inside 'foo', etc.) If so, do they use the declaration or instantiation context? The question came up in the CC mtg, and quickly going thru the proposal, I didn't see an obvious answer. 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 Wed Jul 16 11:21:15 2008
This archive was generated by hypermail 2.1.8 : Wed Jul 16 2008 - 11:21:33 PDT