TWiki> P1800 Web>SystemVerilogBasicCommittee>SvbcMinutes20161025 (2016-11-01, MattMaidment)EditAttach

SV-BC Meeting Minutes for October 25, 2016

Attendee Company Mantis
Perms

Mar

15

Mar

29

Apr

12

Apr

26

May

10

May

24

June

21

July

19

Sep

13

Oct

11

Oct

25
Shalom Bresticker Accellera U X X   X X X         X
Steven Sharp Cadence U X X X X X X X X X X X
Francoise Martinolle Cadence U X X X   X X X   X X X
Mark Strickland Cisco U X X   X X X X X X X X
Matt Maidment Intel M X X X X X     X X X X
Brandon Tipp Intel U X X X X X X     X X X
Boon Chong Ang Intel   X X                  
Jonathan Bromley Oracle U   X   X X   X   X X X
Neil Korpusik Oracle M X X X X X   X X X X X
Eric Coffin Mentor Graphics R X X X   X X   X X X  
C Venkat Ramana Rao Mentor Graphics R   X X   X X   X X   X
Dave Rich Mentor Graphics U     X X X X X X X X X
Ray Ryan Mentor Graphics     X X X X X X X X X X
Sachin Pathak Mentor Graphics     X     X            
Dave Scott Real Intent U X                    
Mark Hartoog Synopsys U X X X X X X X X X X X
Brad Pierce Synopsys U X X     X X X X X X X
Arturo Salz Synopsys U X       X X X     X X
Justin Refice nVidia U X   X X X X X   X X X
Karen Pieper Accellera M                      
Call Logistics

October 25, 2016 8am-9am PDT

Action Items

Open

Jan 19 Matt: Track version specific changes to LRM as AI and file if needed.

Jun 05 Matt: Add 4679 to e-mail ballot when 5531 is resolved

Jun 21 Brad: Add new proposal for 1585

Jun 21 Brad: Update proposal for 5236 to standard format

Oct 25 Matt update status of 3014 to resolved.

Complete

Jun 21 Brad: Update proposal for 2515 and send directly to Editor

Jun 21 Shalom: Update proposal for 3696

Sep 13 MarkS: Write proposal for 4927.

Oct 25 DaveR update proposal for 5680 with amendments.

Agenda

  • Review IEEE Patent Policy

http://standards.ieee.org/board/pat/pat-slideset.ppt

Directed attention to the patent policy.

  • Collect Open Agenda Items

Added last 3 mantis items

  • Approve Oct 11 Meeting Minutes

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

MarkH moves to accept the minutes.

Brandon seconds.

No opposed.

Abstain: Shalom (did not attend)

  • Review Action Items
    Complete

Feedback from WG: error in proposal. Shalom uploaded a new proposal.

Neil moves to accept the new proposal.

Jonathan seconds.

No opposed.

No abstain.

Motion passes.

No activity since last meeting.

Brandon moves to enable editor to address the consistency of fork-join.

Brad seconds

No opposed.

No abstain.

Motion passes.

No new proposal uploaded based on feedback. Difficult to find a mutually agreeable path.

Brandon would like this to be reconciled with interface classes.

Dave suggests extending this to interface classes as well.

Justin and Mark raised another issue.

Dave to continue progress off-line.

Justin's feedback cannot fit on a single line. Dave was trying to minimize change.

Brandon suggested that comment be repeated as the previous line:

// OK: unpack a = 0, b = 0, c = 1

Others suggest adding a sentence or two of text to fully clarify the semantics.

Passed in original vote.

AI: Matt update status of 3014 to resolved.

Brandon updated proposal per feedback from Neil.

Neil moves to accept proposal.

Mark seconds.

No opposed.

No abstain.

Motion passes.

Neil moves to accept current proposal with the following amendments:

  1. ) Where the proposal says "If named event is null..." it should instead

say "If the named event is null...".

  1. ) Where the proposal says "event property method evaluates to false." it

should instead say "event property method returns false."

Brad seconds.

No opposed.

No abstain.

Motion passes.

AI: DaveR update proposal for 5680 with amendments.

Brad moves to set this to Editor state for Editor to address.

Steven seconds.

No opposed.

Abstain: Neil (Beyond Neil's expertise)

Brad moves to accept the proposal.

Steven seconds.

No opposed.

No abstain.

Motion passes.

Brad moves to all of the above editorial issues to editor state, except for 4644.

Neil seconds.

No opposed.

No abstain.

Motion passes.

Brad moves to move 4644 to editor state.

MarkH seconds.

No opposed.

Abstain: Neil(issue from CC and not certain of change due to lack of familiarity with topic)

Motion passes.

Shalom explains his proposal.

Francoise moves to approve.

Venkat seconds.

No opposed.

No abstains.

Motion passes.

Mark S. explains his proposal.

Brad: Is lack of keyword bolding OK? Is "Note:" in a comment OK?

Shalom: Editor can handle lack of keyword bolding.

Various: "Note:" is OK in this comment about illegal syntax.

Suggestions to strike

// mode 1 should be 1024 length

// mode -> {soft length == 1024;} is a legal alternative

and change

constraint "length inside {32,1024}"

to

constraint expression length inside {32,1024}

with a note to editor that length inside {32,1024} should be in code font.

Continuing with other items as Mark S. prepares new version.

Dave talks about his updated proposal.

Dave moves to approve version 3.

Jonathan seconds.

None opposed.

None abstain.

Motion passes.

Mark moves to approve version 3.

Justin seconds.

None opposed.

Steven abstains because he doesn't have the expertise.

Motion passes.

Looked at Dave's updated proposal with the friendly amendment implemented.

Arturo recommends simplifying every

triggered event

in the proposal to simply

triggered

Dave uploads version 8 of the proposal with that implemented plus adding "of a named event" after the first occurrence.

Jonathan moves to supersede the previously approved proposal with version 8.

Dave seconds.

None opposed.

None abstained.

Motion passes.

9:45am DaveR moves to adjourn.

-- Matt Maidment - 2016-11-01

Comments

Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2016-11-01 - 17:58:01 - MattMaidment
 
Copyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback