Minutes of the November 23, 2004 SV-BC Meeting (Design Modeling Committee) 21021 Day 35851 11111 Month 11100 00000 Year 44444 aaaaa Matt Maidment - Intel aaaaa Brad Pierce - Synopsys -aaaa Karen Pieper - Synopsys --aa- Dan Jacobi - Intel a-aaa Dave Rich - Mentor Graphics aaaa- Francoise Martinolle- Cadence aaaaa Mark Hartoog - Synopsys --a-a Rishiyur Nikhil - Bluespec a-aaa Cliff Cummings - Sunburst Design aaaaa Steven Sharp - Cadence aaaa- Stuart Sutherland - Sutherland HDL aaaa- Don Mills - LCDM Engineering -a-aa Logie Ramachandran - Synopsys aaaaa Surrendra Dudani - Synopsys aaaaa Doug Warmke - Mentor Graphics aaaaa Kathy McKinley - Cadence ----a Steve Dovich - Cadence --aaa Greg Jaxon - Synopsys aa-a- Jonathan Bradford - Micronas Agenda: +Review IEEE patent policy http://standards.ieee.org/board/pat/pat-slideset.ppt The patent policy was reviewed. +Review Previous Meeting Minutes http://www.eda.org/sv-bc/minutes/sv-bc_04_11_15.txt Steven moved to accept the minutes. Kathy seconds No oppose. No abstan Motion passes. +Update from Net datatype subgroup 2nd Draft of proposal was delivered on Friday, Nov 19. Overview of changes for this draft include the 'var' keyword for making variable declarations symmectric with net declarations. Brad provided the BNF to enable this. Additional wording was included to address Surrendra's feedback regarding data objects. Questions were raised about the VPI. A VPI spec for this was given to the SV-CC and the SV-CC deadline was moved out 2 weeks to incorporate data types on nets. Several group members expressed interest in seeing a proposal for 2-state semantics, but this was not the charter of the group as defined by the P1800 committee. Steven moved to accept the proposal in email 2428, including the new var syntax. Stu seconds. For: Dave Rich, Francoise Martinolle, Mark Hartoog, Steven Sharp Stu Sutherland, Doug Warmke, Kathy McKinley and Jonathan Bradford Opposed: Cliff Cummings, Surrendra Dudani Abstain: Brad Pierce, Don Mills Motion Passes. AI: Steven Sharp to upload proposal into SVDB. +Discuss Email Vote Results Pass: 272, 273, 276, 14, 32, 94, 100, 146, 212, 102 Fail: 285, 291 Issue 291 After further consideration, Dave moves to accept proposal. Brad seconds No opposed. No abstain. Motion Passes Issue 285 Steven moves to accept the proposal with the friendly amendment of changing the term untagged to unpacked. Kathy seconds. No opposed. No abstain. Motion passes. +Issues Needing Discussion Issue 213 Steven moves to accept entire proposal (Add asymmetric, remove symmetric). Cliff seconds. No opposed. No abstain. MOtion passes. Issue 214 Steven moves to accept proposal Brad seconds. No opposed. Abstain: Dave, Stu, Mark. Stu: Paragraph that is being removed seems useful, Not comfortable removing without further study and understanding. Dave: Not convinced he understands the totally issue well enough, but believes removing it is likely harmless. Mark: Not convinced that removing this text solves the problem. Issue 217 Dave moves to accept the proposal. Steven seconds. No opposed. No abstain. Motion passes. Issue 220 Steven moves to accept Stu seconds. No opposed. No abstains Motion passes Issue 145 Brad moves to close. Stu seconds. No opposed. No abstain. Motion passes. Issue 112 Brad moves to close as duplicate of 254 Stu seconds. No opposed. No abstains. Motion passes. Issue 316 Friendly amendment For text of 3.10.4: Change "expression assignment" to "expression that is assigned" Francoise moves to accept with friendly amendment. Brad Seconds No oppose. No abstain. Motion passes. Issue 216 After discussing the following friendly amendments were suggested: Table 4-1 enumeration | base type default initial value Table 5-1 enumeration | base type default initial value Steven moves to accept the proposal with friendly amendment. Brad seconds No opposed. No abstain. Motion passes. NOTE: CHANGE IS NOT BACKWARD COMPATIBLE AI: Steven to incorporate amendment into proposal & upload to DB. Issue 170 Brad moves to accept the proposal. Stu seconds. No opposed. No abstain. Motion passes, Issue 101 Friendly amendments CHANGE packed or unpacked TO packed AND unpacked ADD Cross-reference to 3.3.1, for definition of term simple bit vector type Francoise moves to accept the proposal with friendly amendments. Brad seconds. No opposed. No abstain. Motion passes. Several asked about the date and time of the next SV-BC meeting. The next meeting is Tuesday, November 30, 9-11am PST. Meeting adjourned at 4pm PST. Issue With Proposals ------------------------- 19: Brad Proposal uploaded - short 23: Nikhil Proposal uploaded - long 27: Dave Proposal uploaded - discuss 36 Matt Proposal uploaded - discuss 37: Brad Informal proposal in issue - discuss 38: Dave Proposal uploaded - discuss 74: Nikhil Proposal Uploaded - medium 92: Surrendra Proposal Updloaded - short 218: Brad Proposal uploaded 223: Brad Proposal uploaded 226: Brad Proposal uploaded, needs more discussion? 258: Brad Proposal uploaded 315: Doug Proposal Uploaded Immediate Priority Issues ------------------------- 21 Mark Hartoog 24 Mark Hartoog 26 Cliff Cummings 51 Francoise Martinolle 103 Mark Hartoog 110 Cliff Cummings / Don Mills Others: 14, 91, 94, 100, 102, 146, 169, 212, 276, 285, 286 (steven noted this may be ready for next meeting) Action Items Completed 11/08/04 Matt Send out tentative meeting schedule through Dec 1. Pending 09/27/04 Steven Review 221 for possible inclusion in immediate priority issues to be resolved. 10/11/04 Dave Related to 157, File new errata for continuous driver (assign) 11/23/04 Steven Incorporate amendment to proposal for Issue 216 & upload to SVDB. 11/23/04 Steven Upload Data Types on Nets proposal to Issue 168 in SVDB.