Minutes of the November 30, 2004 SV-BC Meeting (Design Modeling Committee) 32102 Day 03585 11111 Month 11110 00000 Year 44444 aaaaa Matt Maidment - Intel aaaaa Brad Pierce - Synopsys a-aaa Karen Pieper - Synopsys ---aa Dan Jacobi - Intel -a-aa Dave Rich - Mentor Graphics aaaaa Francoise Martinolle- Cadence aaaaa Mark Hartoog - Synopsys ---a- Rishiyur Nikhil - Bluespec -a-aa Cliff Cummings - Sunburst Design aaaaa Steven Sharp - Cadence aaaaa Stuart Sutherland - Sutherland HDL aaaaa Don Mills - LCDM Engineering --a-a Logie Ramachandran - Synopsys -aaaa Surrendra Dudani - Synopsys aaaaa Doug Warmke - Mentor Graphics aaaaa Kathy McKinley - Cadence ----- Steve Dovich - Cadence ---aa 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_23.txt Brad moves to accept the minutes. Doug seconds. No opposed. No abstain. Motion Passes. +Issue Discussion Issue 37 Brad moves to accept proposal. Karen seconds No opposed No abstain. Motion Passes. Issue 19 Brad move to resolve issues as a duplicate of issue 91. Karen seconds. No opposed. No abstain. Motion Passes. Issue 92 Amendment of '.' at the end of sentence for item 8) Brad moves to accept proposal as amended. Karen seconds. No opposed. No abstain. Motion passes. Issue 326 Brad moves to accept proposal. Karen seconds. No opposed. No abstain. Motion Passes. Issue 320 Stu moves to accept proposal. Brad seconds. No opposed. No abstain. Motion Passes. Issue 221 Amendment; strike reference in messages in first 2 sentences and entire 3rd sentence Brad moves to accept proposal as amended. Doug seconds. No opposed. No abstain. Motion Passes. Issue 51 Brad moves to accept proposal. Karen seconds. No opposed. No abstain. Motion passes. Issue 322 Brad moves to accept proposal. Doug seconds. No opposed. No abstain. Motion passes. Issue 226 Brad moves to accept proposal. Stu seconds. NO opposed. No abstains. Motion passes. Issue 327 Amendment: Replace: Like Verilog memories, the dimensions following the type set the packed size. The dimensions following the instance set the unpacked size. With: Like Verilog memories, the dimensions preceding the identifier set the packed size. The dimensions following the identifier set the unpacked size. Doug moves to accept proposal as amended. Brad seconds. No opposed. No abstain. Motion passes. Issue 321 w/amendment remove () make , Doug moves to accept proposal as ammended. Brad seconds. No Opposed. No abstain. Motion passes. Issue 323 Amendment: In A.8.4, 'bit_select ::= ...' should be blue Brad moves to accept proposal as amended. steven seconds. No opposed. No abstain. Motion passes. Issue 315 Amendment: Change constant_select to constant_bit_select Doug moves to accept proposal as amended. Brad seconds. No opposed. Abstain: Francoise Motion passes. Issue 23 Brad moves to accept proposal. Steven seconds. No opposed. No abstain. Motion passes. Issue 74 Amendment: rephrase to: "how a bus with a parameterizable number of clients can be described" Brad moves to accept proposal as amended. Karen seconds. No opposed. No abstain. Motion passes. AI Brad Open another errata specifically to address any additional concerns Issue 36 Amendment: Replace non-data-type with 'value' Amendment 'Package references are allowed.' should be in blue Doug moves to accept proposal as amended. Stu seconds. No opposed. No abstain. Motion passes. Issue 38 Brad moves to accept proposal. Mark seconds. No opposed. No abstain. Motion passes. Issue 223 Brad moves to resolve issue as not a bug. Karen seconds. No opposed. No abstain. Motion passes. Issue 24 Mark moves to resolve as not a bug. Karen seconds. No opposed. No abstain. Motion passes. Issue 169 Amendment: Change wording to: 'The formal argument names in the prototype shall be the same as the formal argument names in a declaration.' Amendment: Strike: 'If argument binding by name is used, the names in a subroutine call shall be those from the prototype.' Stu moves to accept proposal as amended. Brad seconds. No opposed. No abstain. Motion passes. Issue 328 Amendment: Delete 'latest' options Amendment: Ensure accuracy of keyword tables. Amendment: create 2005 table, add uwire Amendment: In P1800 table, second interface change to endinterface Amendment: Add example using 'logic' as identifier with 1364-2001 directive Stu moves to accept proposal as amended. Brad seconds. For: Stu, Brad, Doug, Don, Kathy Opposed: Karen: (believes proposal is immature) Abstain: steven: (working on 110, not much time to review) Mark: (awkward to use; would prefer stack instead of requiring the directives in every file). Francoise: Unsure of utility AI: Steven close issue in BTF database equivalent to SVDB Issue 328 Issue 110 Amendment: replace operation(s) with operator(s) Amendment: replace 'they' with operators Amendment: the result is in the 2-state... Steven moves to accept proposal as amendmended. Brad seconds. No opposed. Abstain: Doug (would prefer division by 0 conform with C) Motion passes. Issue 286 Brad moves to reprioritize issue to normal Steven seconds. No opposed. No abstain. Motion passes. Issue 27 Brad moves to reprioritize issue to normal. Mark seconds. No opposed. No abstain. Motion passes. Issue 302 Amendment: Strike all text but last sentence Amendment: Change defparam to bold type Doug moves to accept proposal as amended. Mark seconds. No opposed. No abstain. Motion passes. Issue 26 Francoise moves to accept proposal posted to reflector as: http://www.eda.org/sv-bc/hm/2525.html Kathy seconds. No opposed. No abstain. Motion passes. Issue 103 Amendment: Change 'a simple bit vector' to 'integral' Brad moves to accept proposal as amended. stu seconds. No opposed. No abstain. Motion passes. Issue 215 Brad moves to reprioritize to normal if Steven Sharp approves. stu seconds the proposal. No opposed. No abstain. Motion passes. AI: Matt Contact Steven about reducing priority of 215 to normal Issue 218 Amendment: Change 'simulator' or 'software tool' to 'implementation' Brad moves to accept proposal as amended. Stu seconds. No opposed. No abstain. Motion passes. Issue 21 7.11 better than 9.2.1 5.6 mentions lsp refers to 9.2.1 instead of 7.11 In section 9.2.1 delete: The expansion of longest static prefix P is defined to be: a) P itself if the P is not a memory or indexing select or if P is a legal word or bit select. b) if P is a memory or indexing select, the expansion is every possible legal memory word select with a static prefix that matches P. Add the following paragraph to the end of Section 9.2.1 For the definition of the longest static prefix see section 7.11. In section 5.6 paragraph 3 Change: section 7.11 To section 9.2.1 Stu moves to accept the proposal. Kathy seconds. No opposed. No abstain. Motion passes. AI: Mark Update issue 21 SVDB entry with proposal. Issue 30 Brad moves to reprioritize to normal. Kathy seconds. No opposed. No abstain. Motion passes. Doug moves to adjourn meeting at 12:28pm PST ALL SECOND! Action Items Completed 09/27/04 Steven Review 221 for possible inclusion in immediate priority issues to be resolved. 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. Pending 10/11/04 Dave Related to 157, File new errata for continuous driver (assign) 11/30/04 Brad Open another errata specifically to address any additional concerns 11/30/04 Mark Update issue 21 SVDB entry with proposal. 11/30/04 Matt Contact Steven about reducing priority of 215 to normal 11/30/04 Steven Close issue in BTF database equivalent to SVDB Issue 328