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

Hi Shalom,

Here is the schedule:



Milestone

Editorial Schedule

Milestone

Editorial Schedule

Feature Freeze in the Committees

30-Jun-16

Feature Freeze in the Champions

30-Jul-16

Feature Freeze in the P1800

6-Aug-16

Pre-Ballot Draft -- Send to IEEE

13-Aug-16

IEEE Feedback back

12-Oct-16

Last editing corrections in SVDB, inc names in front matter

27-Aug-16

Remind entities to become members

27-Aug-16

Editing approval by Champions

10-Sep-16

Open invitation to ballot

26-Sep-16

Editing approval by P1800

24-Sep-16

Close invitation to ballot

26-Oct-16

Completion of the review of the pre-ballot draft

8-Oct-16

Balance of the balloting group confirmed

29-Oct-16

Ballot draft available and approved by P1800

22-Oct-16

Balloting begins, public review begins

29-Oct-16

Public review ends

28-Dec-16

Balloting ends

28-Nov-16

Ballot responses available

12-Dec-16

Schedule for resolution of ballot responses

2-Jan-17

Committees respond to public review and ballot

13-Mar-17

Recirc ballot content approved by P1800

27-Mar-17

Recirc pre-draft available

3-Apr-17

Recirc pre-draft review complete

10-Apr-17

Recirc ballot approved by P1800

17-Apr-17

Recirc ballot results back

1-May-17

Final IEEE ratification

29-Aug-17


Regards,
Dmitry

From: Shalom Bresticker [mailto:shalom.bresticker@outlook.com]
Sent: Monday, December 21, 2015 12:19 PM
To: 'Dmitry Korchemny'; hdlcohen@gmail.com
Cc: sv-ac@eda-stds.org
Subject: 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> [mailto:owner-sv-ac@eda.org]<mailto:[mailto:owner-sv-ac@eda.org]> On Behalf Of Dmitry Korchemny
Sent: Monday, December 21, 2015 12:15 PM
To: hdlcohen@gmail.com<mailto:hdlcohen@gmail.com>; Dmitry Korchemny
Cc: sv-ac@eda-stds.org<mailto: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<mailto: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<mailto: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