Dmitry, What happened to: SV-AC Recommended Items for 2015 • 3057: Make local variables a first class language construct o Includes declaring local variables in () subscope inside property • 5063: Allow tools to modify assertion statement type o Allow already-existing behavior of EDA tools: assumes=>asserts • 5064: Standard package to define assertion-related constants o Assert control types, etc, are currently plain numbers • 5065: Standard package implementing commonly used properties o Such as PSL-equivalent operations next_event_a, next_event_e • 5067: Allow variables in delay and repeat operators o Many users surprised that “a |=> ##var b” is illegal Will these be fone at a later time? Ben On Wed, Dec 16, 2015 at 7:56 AM, Dmitry Korchemny < Dmitry.Korchemny@synopsys.com> wrote: > Hi, > > > > I am attaching the lists of open SV-AC errata and clarification items – > candidates to be addressed in this PAR. These lists are slightly > *different* from what I sent earlier: several items added which did not > have an appropriate classification. Please send me a list of specific items > you want to review, if any, until 19-Dec-2015 11:59 pm PST. I will take > your preferences into account when assigning reviewers next week. > > > > The people who *did not attend the last meeting, but want to participate > in SV-AC work and do the reviews*, please notify me until 19-Dec-2015 > 11:59 pm PST. > > > > Thanks, > > Dmitry >Received on Thu Dec 17 10:56:28 2015
This archive was generated by hypermail 2.1.8 : Thu Dec 17 2015 - 10:56:32 PST