SvbcMinutes20160315 < P1800

P1800 Web>SystemVerilogBasicCommittee>SvbcMinutes20160315 (2016-03-29, MattMaidment) (raw view)EditAttach
---+ SV-BC Meeting Minutes for March 15, 2016

<div style="direction: ltr;">
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Attendee</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Company</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Mar 15</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Shalom Bresticker</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Accellera</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Daniel Schostak</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">ARM</span> | |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Steven Sharp</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Cadence</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Francoise Martinolle</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Cadence</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Mark Strickland</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Cisco</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Matt Maidment</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Intel</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Brandon Tipp</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Intel</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Boon Chong Ang</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Intel</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Jonathan Bromley</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Oracle</span> | |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Neil Korpusik</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Oracle</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Gauraw Singh Chandel</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Mentor Graphics</span> | |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Eric Coffin</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Mentor Graphics</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Alex Gran</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Mentor Graphics</span> | |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Sharad Jain</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Mentor Graphics</span> | |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">C Venkat Ramana Rao</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Mentor Graphics</span> | |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Dave Rich</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Mentor Graphics</span> | |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Ray Ryan</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Mentor Graphics</span> | |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Gordon Vreugdenhil</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Mentor Graphics</span> | |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Dave Scott</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Real Intent</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Mark Hartoog</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Synopsys</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Brad Pierce</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Synopsys</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Arturo Salz</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Synopsys</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Justin Refice</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">nVidia</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">X</span> |
| <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Karen Pieper</span> | <span style="margin: 0in; font-family: 'Courier New'; font-size: 11.0pt;">Accellera</span> | |
</div>

Call Logistics

March 15, 2016 8am-10am PST

Join Skype Meeting: https://meet.intel.com/matthew.r.maidment/1HTBKG9M

Join by Phone:

+1(916)356-2663 (or local bridge access # via: https://dial.intel.com/)

Choose bridge: 5

Conference ID: 44150830

Action Items

Open

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

Jan 19 DaveR: Check with some of the original contributors about the intent of 315 for clarification of 3211.

Feb 2 Matt investigate extending Mantis developer privileges to voting members

Update: Waiting on response from Lynn & Karen

From 3/15 Meeting: Everyone seems to be set to Update role. They report that they no longer have problems updating the issues. Perhaps Lynn made some changes behind the scenes.

Feb 2 Matt clear up currently immediate priority for existing 8 BC/EC issues

Feb 2 Matt set issues with proposals to immediate priority

Ready: 3562, 3548, 1188

Mar 15 Matt update 3763 to file new Mantis for Ben's comments and then propose to close.

Mar 15 Matt update 4528 as a duplicate of 343 and set to immediate.

Mar 15 Matt follow-up with Jonathan Bromley about participation and any issues with proposals.

Mar 15 Justin update formatting of proposal for 5540 to follow traditional style.

Feb 1 Dave R write a proposal for 2488

Opens

We are now operating under an approved PAR. Attendance tracking starts over as of this meeting.

There was a discussion in the 1800 WG about when a Mantis item requires a proposal versus passing directly to the editor. The WG agreed that a proposal is required if anyone in the technical subcommittee feels one is needed.

Agenda

<ul style="margin-left: .375in; direction: ltr; unicode-bidi: embed; margin-top: 0in; margin-bottom: 0in;" type="circle"> <li><span style="font-family: 'Courier New'; font-size: 11.0pt;">Review IEEE Patent Policy</span></li> </ul>

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

Reviewed
<ul style="margin-left: .375in; direction: ltr; unicode-bidi: embed; margin-top: 0in; margin-bottom: 0in;" type="circle"> <li><span style="font-family: 'Courier New'; font-size: 11.0pt;">Mantis 4939</span></li> </ul>

[[https://accellera.mantishub.com/view.php?id=4939]]

Ray requested a change in the wording. Justin updated proposal.

Ready for vote.
<ul style="margin-left: .375in; direction: ltr; unicode-bidi: embed; margin-top: 0in; margin-bottom: 0in;" type="circle"> <li><span style="font-family: 'Courier New'; font-size: 11.0pt;">Mantis 5540</span></li> </ul>

[[https://accellera.mantishub.com/view.php?id=5540]]

Ray is aligned. Shalom reviewed and will further study.

Neil commented that the format should be changed. New text should be in blue, not highlighted. Justin noted that some new text needed to be blue, hence the highlighting. Neil emphasized the need for consistent formatting. Shalom asked that the fonts be consistent, bold, super/subscript, etc. be correct. These details are not to be left to the discretion of the editor.

Brad offered templates for proposals:

[[http://www.eda-twiki.org/sv/SV_LRM_template.doc][<span style="font-size: 12.0pt;">http://www.eda-twiki.org/sv/SV_LRM_template.doc</span>]]

Dave Scott asked for the suggested best way to get started? Several commented that typically it is to copy the previous text and then update the fonts and indentation.

AI: Justin update formatting of proposal for 5540 to follow traditional style.

Steven suggested reordering new footnote to be tagged unions and unpacked structures instead of the current ordering.

Arturo asked about last sentence of 7.3.1, as it seems informational and unnecessary.

Justin explained that he is trying to bring consistency between 7.2 and 7.3.

After looking for the another location where packed unions are defined as vectors and not having success, it would seem this clarification is needed.

Justin will remove reference to tagged unions.

Steven pointed out that 7.2.1 does not state the implied range of the packed struct is [n-1:0].

Arturo suggested updating/adding an example that between two unions, some value is undefined and incorporate in a packed union to clarify the semantics. Justin agreed and will add another example with a packed struct.

Justin asked for additional scrutiny of the tagged union example to ensure its accuracy and effectiveness.

Justin will add last sentence of 7.3.1 to help clarify the new paragraph structure.

Arturo suggested changing the reference to signed/unsigned to 'signedness' and the default is unsigned. Similar wording should be updated in 7.2.1.
<ul style="margin-left: .375in; direction: ltr; unicode-bidi: embed; margin-top: 0in; margin-bottom: 0in;" type="circle"> <li><span style="font-family: 'Courier New'; font-size: 11.0pt;">Mantis 5259</span></li> </ul>

[[https://accellera.mantishub.com/view.php?id=5259]]

Not yet ready. Ray provided some feedback via the mailing list. Mark will continue thread with Ray.  

Arturo added that the current proposal is understood but needs to be reworded as proposed language introduces new, undefined terms.
<ul style="margin-left: .375in; direction: ltr; unicode-bidi: embed; margin-top: 0in; margin-bottom: 0in;" type="circle"> <li><span style="font-family: 'Courier New'; font-size: 11.0pt;">Mantis 4928<br /> </span> [[https://accellera.mantishub.com/view.php?id=4928][<span style="font-family: 'Courier New'; font-size: 11.0pt;">https://accellera.mantishub.com/view.php?id=4928</span>]]</li> </ul>
Not yet ready.

Brandon replied in support via the reflector.

From the example it is unclear what part of c1 is soft. To complicate matters there's no such term as a 'soft expression or dist' to ease discussion of this scenario. Mark might pursue a new BNF production for new wording.

Arturo will need to give this more thought.

Steven seeking feedback with Cadence experts.

Discussion should continue via the reflector.

9:38am. Steven moves to adjourn. Arturo seconds.

-- %USERSIG{MattMaidment - 2016-03-29}%

---++ Comments

%COMMENT%
<div style="direction: ltr;"> </div>
Topic revision: r1 - 2016-03-29 - 17:30:57 - MattMaidment
P1800