Steven Sharp wrote: >> From: Gordon Vreugdenhil <gordonv@model.com> > >> But that is immaterial to my question. If you have an auto declaration >> in the enclosing scope, can a checker instance refer to that? No >> one has (yet) made any restrictions regarding the resolution rules, >> so I am assuming that the answer is yes. > > In defense of this part of the proposal, I think the same issue arises > for static variable initializers. An initializer on a local static > variable could be within the scope of an automatic variable, and I don't > see anything in the LRM restricting it from referencing one. However, > clearly it cannot be allowed to do so. Automatic variables are created > by procedural execution entering their scope, and static variable > initializers are not executed in the context of a procedural entry into > the scope. I agree on both fronts. My concerns are mostly that while I can reason about why something like: initial begin:b automatic int x = 1; static int y = x; ... should be illegal, it is harder for me to reason about things in the AC space since in various contexts more "synthesis" like behaviors seem to be expected and I haven't quite gotten to a point where I can predict what AC expects the behavior to be. > If concurrent assertions and checkers in procedural code were similarly > static objects, independent of any procedural execution of the code, then > things would be simplified. However, Mantis 1995 and 2110 break that > conceptual model. This is also what I'm struggling with. Some of the aspects of checkers appear to in fact be static (the text requires that for checker variables, etc), but it isn't quite clear to me yet exactly what the boundaries are and whether those boundaries are well formed. Part of my difficulty lies in lack of time to get everything in my head; part of it is also that various relevant pieces of the semantics and rules appear to be distributed in a half-dozen Mantis items and I don't know what is all relevant. Gord. -- -------------------------------------------------------------------- Gordon Vreugdenhil 503-685-0808 Model Technology (Mentor Graphics) gordonv@model.com -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Feb 21 16:10:28 2008
This archive was generated by hypermail 2.1.8 : Thu Feb 21 2008 - 16:11:54 PST