John, but that is still possible provided the selection is by constants. Would variable selection be required? Let's first see if such a thing is needed. Best regards, ed > -----Original Message----- > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On > Behalf Of John Havlicek > Sent: Friday, August 18, 2006 1:33 PM > To: sv-ac@eda-stds.org > Subject: [sv-ac] 1495 > > All: > > I vote "yes" on 1495 (Ed's mail already shows it accepted, > so the voting may be closed). > > I want to comment that we may want to relax this condition > later. We had some discussion within Freescale about this, > but we are not ready to enter any proposal. > > The idea behind 1495 is that the local variable flow rules > apply to statically determined "locations", so if you dynamically > select an lvalue, e.g., the flow rules don't work. > > However, there may be situations in which you want to have > the components of an aggregate local variable filled in by > separate threads of the assertion evaluation. > > Hopefully nothing in 1495 will preclude this relaxation later. > > Best regards, > > John H. >Received on Fri Aug 18 11:23:08 2006
This archive was generated by hypermail 2.1.8 : Fri Aug 18 2006 - 11:23:23 PDT