[P1800] 20-February-2007 UNAPPROVED Meeting Minutes

20 February 2007 unapproved meeting minutes for review. Please return corrections to me. 
________________________________


IEEE P1800 SystemVerilog Working Group

UNAPPROVED MINUTES

20 February 2007

10:00 a.m. - 1:30 p.m. PST

Mentor Graphics, San Jose, CA USA

 


1          CALL TO ORDER - INTRODUCTIONS & AFFILIATIONS

The meeting was called to order at 10:11 a.m. PST.

 

Member DRs Present: 

Dennis Brophy (Mentor Graphics, DR) 

Medhi Motashemi (Synopsys, DR)

Yossi Levy (Intel, DR)

Stu Sutherland (Sutherland HDL, DR)

Charles Dawson (Cadence, DR)

Neil Korpusik (Sun Microsystems, DR)

Karen Pieper (Accellera, DR)

Rishiyur S. Nikhil (Bluespec, DR)

Alec Stanculescu (Fintronic USA, DR)

 

Member DRAs Present:

Tom Fitzpatrick (Mentor Graphics, DRA)

Gord Vreugdenhil (Mentor Graphics, DRA)

Alex Gran (Mentor Graphics, DRA)

Logie Ramachandran (Synopsys, DRA)

Dmitry Korchemny (Intel, DRA)

Françoise Martinolle (Cadence, DRA)

Dave Rich (Mentor Graphics, DRA)

Doug Warmke (Mentor Graphics, DRA)

Matt Maidment (Intel, DRA)

 

Observers:

Don Mills (LCDM Engineering, Observer)

Jonathan Bromley (Doulos, Observer)

Shalom Bresticker (Intel, Observer)

Alex Zamfierescu (ASC, Observer)


2          APPROVE AGENDA

A motion (Charles Dawson, Stu Sutherland) was made to approve the agenda.  The motion passed unanimously.


3          CALL FOR PATENTS 

Secretary Brophy read the patent slides.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt

 

4          APPROVAL OF 4 JANUARY 2007 MEETING MINUTES

A motion (Neil Korpusik, Yossi Levy) was made to approve the 4 January 2007 meeting minutes.  The motion passed unanimously.


5          FUNDING, BUDGETING AND FINANCIAL UPDATE

a)  Stu has started the editing work as confirmed by Chair Pieper.

 

b)  Chair Pieper says the invoices have gone out.

 

c)  IEEE participation fee request has come and the fees will be paid.

 

6          EDITING UPDATE

See Stu's presentation slides at: http://www.eda-stds.org/sv-ieee1800/Meetings/2007/February/Merge_LRMs_Status_2007-02-20.pdf 

There were 150 Mantis items that went in.  11 of them had some editing errors as pointed out by the reviewers.  

 

The merging of the two LRMs is underway.  If there is some question as to how the merging is being done, Stu is open to feedback on this.  The clauses were organized into four major groups

 

The question is how do we want to handle the edits not quite done well?  Stu would like to do them in the merged LRM.  

 

A motion (Stu Sutherland, Neil Korpusik) was made all the edits to the merged document.  The motion passed unanimously. 

 

For defparam and procedural assign, those were flagged to be deprecated.  For the merged release, Stu asked, how should they be covered?   Stu will merge the defparam and procedural assign and also the deprecation notice.  

 

Stu will add line numbers to all the pages.

 

There are some issues with BNF and a question as to handle excerpts of the BNF.  Stu will change to a header and footer line, but no enclosing box as had been done in the past. There is also no convenient way to handle multiple excerpts.  After discussing the different alternative solutions to this, it was decided to keep them as they are even though it was noted that a change in one place could require changes in multiple changes and this is error prone.

 

7          SCHEDULE STATUS UPDATE

The following schedule was discussed and is the operation plan for the working group.

 

March 15, 2007           First draft of merged document available

 

It is suggested that all the work done up to March 15th be sent out and continue with merging.

 

April 5, 2007               P1800 Meeting teleconference 8am pacific - 

 

Discuss and approve ongoing changes not the merge.  We will also determine if we release the merged document.

 

April 15, 2007             Comments on the merged document due 

April 30, 2007             Internal draft of the merged document

June, 2007                   Official release of the merged document 

May 24, 2007              P1800 meeting teleconference 8am pacific 

                                    to approve official release of merged document 

June, 2007                   Press release on the merged document

August 1, 2007           Freeze for the SV* committees for the October draft

August 15, 2007         Champions meeting

September 1, 2007      P1800 approvals for the October draft due

October 1, 2007          Intermediate draft

November 15, 2007    Feature freeze in the SV* committees

November 30, 2007    Champions meeting to approve final features

December 15, 2007     Feature freeze in the P1800

January 15, 2008         Pre-ballot draft available

February 15, 2008       Last editing requests filed in svdb

February 30, 2008       Champions meeting

March 15, 2008           P1800 approval due

March 30, 2008           Ballot draft

May 15, 2008              Ballot responses available

June 15, 2008              Committees respond to ballot responses

June 30, 2008              Champions meeting

July 15, 2008               P1800 approval

July 30, 2008               Recirculation draft (Was May 31 for 1800-2005)

August 15, 2008         Recirculation results back 


8          P1800 technical committees and Champions operational update, and 
            review of coming enhancements



a. SV-AC, SV-BC, SV-EC, SV-CC and SV-XC status

See Neil's presentation at: http://www.eda-stds.org/sv-ieee1800/Meetings/2007/February/committees010407.pdf 

SV-AC

Neil presented on the details of the SV-AC.  The SV-AC has some issues that need to also be addressed by SV-BC.

 

SV-BC

The SV-BC is consumed with the SV-EC work.  At the moment they group is bracing for the merged LRM to compete.  The main focus is to work on outstanding issues and the best path forward is to wait for the merged LRM.  

 

SV-CC

For the SV-CC, the data model is in two sections from two LRMs.  They have essentially been merged.  Charles has completed that work so he will pass it on to Stu for inclusion into the merged LRM.  Major progress has been made on some difficult issues.  They have made good progress to closing issues, but still have 102 Mantis items open.

 

SV-EC

The group is holding bi-weekly meetings and has met four times since the 4 January 2007 P1800 meeting.  At the end of this meeting, the SV-EC will meet to hold a face-to-face meeting.  Mantis 890 has taken a lot of time, so limited time has been spent on other items.

 

SV-XC

See the report at: http://www.eda-stds.org/sv-ieee1800/Meetings/2007/February/SV-XC%20committee.pdf 

The committee just started at the end of December 2006.   The group is looking at SV interoperability with SystemC, VHDL and Verilog-AMS.  This is broad scope, so the group is looking to prioritize their focus items.  There was a detailed questionnaire to identify all the set of issues that we need to tackle.  The group will seek inputs from the user community on this. The group will send the survey out to those on the committee reflectors.  There was discussion to have the survey completed and made available to the DVCon participants.  Also, Lynn Horobin at Accellera will be contacted to see if Accellera can support a web-based feedback.  

 

The SV-XC still does not have an intersection point with the LRM.  The schedules need to be reviewed to determine when the group will roll its work into the LRM.  

 

About 20 people are participating in the SV-XC today (6 users / 14 suppliers).

 

SV-EC

In summary, there have been several discussions on scheduling semantics, clocking blocks, program blocks within the EC.  The group has gotten consensus on PLI regions as well as mirroring the active and reactive regions and this will be documented.  The general features of this are to mirror the active and reactive regions and add PLI with the same number of steps.  The SV-CC and SV-BC has been informed of this.  Mantis 890 is the issue that has all the status of this issue.  The SV-EC will discuss this in detail at today's meeting.  

 

There was a question about how this might interact with assertions and it was indicated that the changes would have little or no impact on assertions.  The proposal does have some discussion of assertions, but very limited.

 

ACTION REQUEST [Medhi Motashemi]: Send out a copy of Mantis 890 version 6 or newer to the SV-AC, SV-BC and SV-CC.

 

Cliff's work will also be added to the formal entry when it is sent out to the technical teams.  

 

There is an issue with $past that could have an impact on assertions that is really a skew issue.  It might be the only interaction and could be defined away so there would be no issue or impact on assertions.  

 

In terms of backward compatibility, there are no realistic issues since there was no real argument of correctness in the old LRM text.  There are areas where a user could get different behavior, but it is now more reliable.  

 

Presentation of Proposed Enhancements to SVA

Dmitry made a presentation on enhancements to SVA to solve some problems with SVA that do not have simple solutions.  Dmitry has offered some solutions to the proposals.  The presentation can be found at: http://www.eda-stds.org/sv-ieee1800/Meetings/2007/February/P1800-022007.pdf 

 

It is acknowledged that creating a library of assertions is an issue from Sun's point of view.  And addressing this problem is something that there is a desire to see some movement.  The checker was one of the more interesting items to focus on.  There was also some feedback to look at some an aspect of the 'e' language's "define as."  

 

There are issues that simulation tools, formal tools and synthesis tools would all need to take into account.  So the impact of changes is broad.

 

9          LRM ACCESS

The access to LRM drafts are provided to those with voting privileges.  Do we want to have Alec have a draft was the question Chair Pieper posed to the group.  Without objection, support for Alec to have access to a copy was supported.

 

10        NEXT MEETING (ANNOUNCE DATE, TIME, AND LOCATION, IF KNOWN)

4/5       Teleconference 8 a.m. - 10 a.m. PST

5/24     Teleconference 8 a.m. - 10 a.m. PST

 

11        ADJOURNMENT

As the end of the agenda was reached and no other business was before the committee, the meeting adjourned at 1:21 pm PST. 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.