December 7, 2004 SystemVerilog Champions Meeting Minutes

 

Champions:

*Karen Pieper

*Stu Sutherland

*Surrendra Dudani

*Dave Rich

*Francoise Martinolle

*Brad Pierce

*Bassam Tabbara

 

Guests:

Neil Korpusik

Charles Dawson

Jim Vellenga

Doug Warmke

Tom Fitzpatrick

Oz Levia

 

Patent Policy

The chair directed everyone's attention to

http://www.verilog.com/IEEEVerilog.html where a link to the IEEE

policy was reviewed.

 

Dates:

01/05/05:  P1800 Conference call

12/21/05:  Champions Phone Conference 9am to 11am PST.

12/15/05:  Champions spreadsheet to go out.

 

Issue Discussion

 

50:  AB vs CD data representation:  Dave recommends that this proposal be moved back to the CC for consideration.  Francoise seconds.  No opposed.  No abstain.  Passes.

 

110:  2-state operator semantics:  The Champions recommend that this proposal be approved.

 

AI:  Dave will add an issue to clarify the wording further because the current wording is too vague.

 

328:  ‘keywords:  The SV-BC withdrew this proposal and will take time to consider it more fully.  The Champions recommend that we return this proposal to the SV-BC

 

V-640:  BTF add uwire net type.  Wait for VPI proposal number 332:  Bassam, Surrendra, Dave, Stu.  Approve: Francoise

 

AI:  Also need to add uwire to the Annex B keywords in P1800.  Karen takes the action item to talk with Matt about getting it added.

 

168:  Datatypes on nets.  Wait for VPI proposal number 333: Bassam, Surrendra, Dave, Stu.  Approve: Francoise

 

V-547:  Requires an action by the PTF to enhance the VPI to be able to return non-existent concatenations in VPI_get_value.

 

The Champions recommend that we approve V-547, and give an action item to the PTF.

 

214:  Interpretation of Time literals passing to a module.  Most of the abstentions were because people were not sure about the semantics in 1364.  The concern was that the struck text was added for an earlier issue and this may leave us open to that earlier issue.

Dave believes that striking it is unlikely to hurt; however, he isn’t for it.

 

We recommend approving this.

 

312:  We recommend approving this.

 

314:  Encryption.  We need to check that it is their intent that the BNF not be formally integrated with Annex A.  Tom to take the action.  Also the editors need the framemaker or word source for the documents.

 

Tom to ask Steven Dovich for a pointer to minutes?

 

Approve it:  Unanimous

Champions to review between now and P1800 meeting so that any issues can be raised there.

 

There is a concern about connections to ‘protected, and so on.  There is no one from the Encryption team in the champions meeting.  Stu is concerned about time issues for getting the editing done.

 

The committee consists of:

 

    Steven J. Dovich (Cadence) (Chair)

    David Smith (Synopsys)

    Andrew Vanvick (Pragmatic-C)

    Steve McMaster (Synopsys)

    Saverio Fazzari (Cadence)

 

V-282:  Champions approve it

 

V-288:  Champions recommend approval.

 

V-609:  A.8.3-4:string should be a primary not an expression.  Stu is concerned about potential side effects not looked at by the committee. 

 

Recommends that we send this back to ETF for further evaluation of side effects of where else constant_primary and primary are used in the BNF and possible effects to the VPI:  Bassam, Stu

 

No opinion:  Dave

 

V-637:  We recommend that this be approved.

 

We recommend approval of all of the remaining issues.

 

When the Champions were asked if there were any remaining issues they indicated that the immediate issues need to be resolved.