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

The most recent SV-EC mail was on December 14. See http://www.eda-twiki.org/sv-ec/hm/#end 

 

From: Daniel Mlynek [mailto:danielm@aldec.com] 
Sent: Tuesday, December 22, 2015 3:29 PM
To: sv-ac@eda-stds.org
Cc: Shalom Bresticker; 'Dmitry Korchemny'; hdlcohen@gmail.com
Subject: Re: [sv-ac] Mantis item selection for review

 

Excuse me for little off topic but I do not now where can I share my doubts 
This IEEE1800 is closed or anyone could be on reflector? If so then how.
I've noticed that sv-ac is alive, but other committees like sv-ec sv-bc seems to be dead (or i was removed and i'm not getting emails)
On wiki www.eda.org/twiki/bin/view.cgi/P1800/WebHome there is only below committees

*	P1800Workinggroup <http://www.eda-twiki.org/cgi-bin/view.cgi/P1800/P1800Workinggroup>  -- Meeting Minutes, etc. 
*	SystemVerilogAssertionCommittee <http://www.eda-twiki.org/cgi-bin/view.cgi/P1800/SystemVerilogAssertionCommittee> : The SVA subcommittee. 
*	SystemVerilogSpecialCommittee <http://www.eda-twiki.org/cgi-bin/view.cgi/P1800/SystemVerilogSpecialCommittee> : The "Special Committee" designated to work on checkers and related constructs, from 4/08-7/08. 
*	SystemVerilogInterfacesCommittee <http://www.eda-twiki.org/cgi-bin/view.cgi/P1800/SystemVerilogInterfacesCommittee> : The SV-CC subcommittee - sub committee focused on the APIs to SystemVerilog. 
*	SystemVerilogDiscreteCommittee <http://www.eda-twiki.org/cgi-bin/edit.cgi/P1800/SystemVerilogDiscreteCommittee?topicparent=P1800.WebHome;nowysiwyg=0>  : The SV-DC subcommittee - sub committee focused on analog to digital connections. 

SV-EC and SV-BC was closed? Only SV-AC will be the only subcommittee working on next LRM version?


DANiel

W dniu 12/21/2015 11:52 AM, Shalom Bresticker pisze:

I am no longer on the IEEE1800 mailing list.

 

I did not receive Karen's December 1 mail, either.

 

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

 

Here: http://www.eda-twiki.org/cgi-bin/view.cgi/P1800/P1800Agendas

 

From: Shalom Bresticker [mailto:shalom.bresticker@outlook.com] 
Sent: Monday, December 21, 2015 12:42 PM
To: 'Dmitry Korchemny'; hdlcohen@gmail.com
Cc: sv-ac@eda-stds.org
Subject: RE: [sv-ac] Mantis item selection for review

 

When and where was this published?

 

From: Dmitry Korchemny [mailto:Dmitry.Korchemny@synopsys.com] 
Sent: Monday, December 21, 2015 12:38 PM
To: Shalom Bresticker; 'Dmitry Korchemny'; hdlcohen@gmail.com
Cc: sv-ac@eda-stds.org
Subject: 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] 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