RE: [sv-ac] Mantis item selection for review

My understanding is that there is as yet no PAR?

 

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Dmitry Korchemny
Sent: Monday, December 21, 2015 12:15 PM
To: hdlcohen@gmail.com; Dmitry Korchemny
Cc: sv-ac@eda-stds.org
Subject: RE: [sv-ac] Mantis item selection for review

 

Hi Ben,

 

The current PAR includes only errata and clarifications. I believe we will be able to address these items at the next PAR. It might be possible to start working on them already now if time permits (which is unlikely).

 

Thanks,

Dmitry

 

From: Ben Cohen [mailto:hdlcohen@gmail.com] 
Sent: Thursday, December 17, 2015 8:56 PM
To: Dmitry Korchemny
Cc: sv-ac@eda-stds.org
Subject: Re: [sv-ac] Mantis item selection for review

 

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