SV-BC Committee Meeting Date: Monday, April 16, 2007 Time: 09:00am-11:00am PDT Toll Free Dial In Number: (888)635-9997 International Access/Caller Paid Dial In Number: (763)315-6815 PARTICIPANT CODE: 53904 1010001020211 Day 6295588439514 0000001111000 Month 4433212200998 0000000000000 Year 7777776666666 aaaaa---aaaaa Matt Maidment - Intel aa-aaaaaaaaaa Brad Pierce - Synopsys a-aaaaaaaaaaa Shalom Bresticker - Intel a-aaaaaa-aaaa Cliff Cummings - Sunburst Design -aaaaaaaaaaa- Surrendra Dudani - Synopsys aaaaaaaaaaaaa Mark Hartoog - Synopsys a-aaaaa-a-aaa Francoise Martinolle - Cadence aaa-aaaaaaaaa Karen Pieper - Synopsys aaaaa-aaaaaaa Dave Rich - Mentor Graphics aaaaaaaa-aaaa Steven Sharp - Cadence aa-a-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics a-aa-a--aaaaa Stu Sutherland - Sutherland HDL aaaa--------- Alex Gran - Mentor Graphics a-aa-a-aaaaa- Don Mills - LCDM Engineering aaaaaaaa-aaaa Heath Chambers - Consultant/Trainer ----aa---aa-a Doug Warmke - Mentor Graphics ------------a Rishiyur Nikhil - Bluespec ------a-aaaaa Logie Ramachandran - Synopsys Agenda + Review IEEE patent policy http://standards.ieee.org/board/pat/pat-slideset.ppt Reviewed. + Review Minutes of Previous Meeting http://www.eda-stds.org/sv-bc/minutes/sv-bc_07_04_02.txt Brad moves to accept minutes. Heath seconds. No opposed. No abstain. Motion passes. + 1800-2008 Draft 2 Decision 1800 Committee has asked each sub-committee to vote on whether or not to continue work on merged LRM. Please review 1800-2008 Draft 2 and numerous reflector mails regarding the issues found in Draft 2. Cliff supports continuing. Merge is going reasonably well. Dave concurs with Cliff. Dave's concerned about process to resolve issues. Some incomplete edits from Draft 1 are now in Draft 2. They are marked as feedback in SVDB. New text added with the merge. New text generated by merging language 2 standards. Whole sections copied and need to still review and find typos. Cliff moves that SV-BC support proceeding with merged LRM. Dave seconds. No Oppossed Abstain: Karen (chair of P1800 and a major issue at the P1800-level). Motion passes. Shalom concerned with release of draft at end of April. Reasons include: draft not sufficiently reviewed, some merge issues are technical and require committee involvement, some merge issues can be resolved directly by the editor. Shalom uncomfortable with releasing text even as a draft because technical issues are significant. Cliff asked Stu/Karen to identify size and interest of audience for draft? Stu would like editor questions/comments to stay. Karen gets numerous requests for LRM drafts and has to offer committee participation as only means of access. She would like to provide access despite lack of participation. Karen also believes a draft is a good for others to see continued progress. Draft 3 will include review of draft 2 feedback and newly implemented SVDB items. Cliff moves that SV-BC go on record as supporting sale of Draft 3 in June. Stu seconds. For: Brad, Mark, Francoise, Dave, Don, Heath (as long as 890 is incorporated) Opposed: Steven (does not feel draft is ready for public release) Abstain: Shalom (has reservations about quality of draft for public release) Karen (chair of P1800) Motion passes. Send changes to reflector and notify Matt by April 19th, 8am PDT. Matt to send ballot by 9am, April 20th Vote closes 12pm PDT, April 25. If one dissenter, then item is not approved. Meet on April 26th at 8am to continue meeting and resolve items of dissent. Send results to Stu by april 27. Cliff moves to suspend meeting until April 26th, 8am PDT. Brad seconds. Meeting suspended. Meeting resumed April 26th, 8am PDT Email Ballot: http://www.eda-stds.org/sv-bc/hm/5852.html Description: http://www.eda-stds.org/sv-bc/hm/5851.html http://www.eda-stds.org/sv-bc/hm/5853.html Number Result SB1-1-1 Pass SB1-1-2 Pass SB1-1-3 Fail SB1-1-4 Pass SB1-1-5 Pass SB1-2-1 Fail SB1-3-1 Fail SB1-3-2 Pass SB1-3-3 Fail SB1-5-1 Pass SB1-5-2 Pass SB1-5-3 Fail SB1-5-4 Pass SB1-5-5 Pass SB1-5-6 Pass SB1-6-1 Fail SB1-6-2 Pass SB1-6-3 Fail SB1-7-1 Fail SB1-7-2 Fail SB1-10-1 Fail SB1-10-2 Fail SB1-11-1 Fail SB1-11-2 Fail SB1-11-3 Fail SB1-11-4 Pass SB1-12-1 Fail SB1-16-1 Fail SB1-19-1 Fail SB1-19-2 Fail SB1-20-1 Fail SB1-20-2 Pass SB1-21-1 Fail SB1-21-2 Fail SB1-21-3 Pass SB1-22-1 Pass SB1-22-2 Pass SB1-22-3 Pass SB1-22-4 Fail SB1-25-1 Pass SB1-25-2 Pass SB1-25-3 Pass SB1-27-1 Fail SB1-33-1 Fail SB-O-1 Fail SB-O-2 Fail SB-O-3 Fail SB-O-4 Fail SB-O-5 Fail SB-O-6 Fail SB-O-7 Fail SB-O-8 Fail SB-O-9 Fail SB-O-10 Fail SB-O-11 Fail SB2-6-9-1 Pass BP1-5-1 Fail BP1-5-2 Pass BP1-5-3 Fail BP1-5-4 Fail BP1-5-5 Fail BP1-5-6 Pass BP1-5-7 Fail BP1-5-8 Fail BP1-6-1 Pass BP1-6-2 Fail BP1-6-3 Pass BP1-6-4 Pass BP1-6-5 Fail BP1-6-6 Fail BP1-7-1 Fail BP1-7-2 Pass BP1-7-3 Pass BP1-7-4 Fail BP1-8-1 Pass BP1-9-1 Pass BP1-9-2 Pass BP1-9-3 Pass BP1-9-4 Pass BP1-10-1 Pass BP1-10-2 Pass BP1-10-3 Pass BP1-11-1 Pass BP1-12-1 Fail BP1-12-2 Pass BP1-12-3 Pass BP1-12-4 Pass BP1-12-5 Pass BP1-13-1 Pass BP1-13-2 Pass BP1-13-3 Fail BP1-13-4 Pass BP1-13-5 Pass BP1-13-6 Pass BP1-13-7 Pass BP1-22-1 Pass BP1-22-2 Pass BP1-22-3 Pass BP1-22-4 Pass BP1-22-5 Pass BP1-A-1 Pass MH-1 Fail MH-2 Fail MH-3 Pass HC-D-1 Fail HC-D-2 Pass HC-E-1 Fail HC-O-1 Pass HC-O-2 Pass HC-O-3 Pass HC-O-4 Pass HC-O-5 Pass HC-O-6 Pass HC-O-7 Pass SB1-2-1 Low priority, defer for later SB1-3-1 Brad moves to delete sentence per Shalom Mark seconds No opposed. No abstain. Motion Passes. SB1-3-3 Stu moves to add definition of config in Clause 3 shalom seconds. No opposed. No abstain. Motion Passes SB1-5-3 Stu proposes to move Clause 5.7 draft 2 moved to Clause 3 Shalom seconds No Opposed. No Abstain. Motion Passes SB1-10-1 Defer to Mantis SB1-11-1 Stu moves to change "procedural assignment operator" to "assignment operator" Shalom seconds No opposed. No abstain. Motion Passes. SB1-11-2 Stu moves to accept clarification in mail 5877 Heath seconds. No opposed. No abstain. Motion Passes. SB1-11-3 Defer to regular business SB1-19-2 Brad moves to accept change wording per Ballot. Shalom seconds No opposed. Abstain: No. Motion passes. AI: Mark Mantis as resolved. SB1-21-1 Defer to Mantis (Stu emphasized that issue should be addressed through Mantis) SB1-21-2 Gord moves to accept Shalom's proposal. Alex seconds No opposed. No abstain. Motion Passes. SB1-22-4 Defer to Mantis SB1-33-1 Shalom moves to change clause ordering from 27. Gate-level and switch-level modeling 28. User-defined primitives (UDPs) 29. Specify blocks 30. Timing checks 31. Configuring the contents of a design 32. Protected envelopes 33. Backannotation using the standard delay format (SDF) To 27. Gate-level and switch-level modeling 28. User-defined primitives (UDPs) 29. Specify blocks 30. Timing checks 31. Backannotation using the standard delay format (SDF) 32. Configuring the contents of a design 33. Protected envelopes Brad seconds No Opposed. No Abstain. BP1-5-1 Resolved by Stu's comments BP1-5-3 Resolve through Mantis BP1-5-4 Resolve through Mantis BP1-5-5 Resolve through Mantis BP1-5-7 Resolve through Mantis BP1-5-8 Resolve through Mantis Brad moves to report approved email vote and transcript from today. AI: harvest items to Mantis from reflector after release of draft 3 Next meeting Monday, April 30th + Issues ready for vote 1749 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001749) 1762 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001762) 1064 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001064) 1101 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001101) 1143 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001143) 1562 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001562) Action Items Pending 01/09/2006 Shalom add example for issue 1254 describing situation for rule 3 03/27/2006 Cliff post examples demonstrating the need for 0-1 wildcard to justify further action on SVDB 99 Other ideas: elsex, defaultx, ifx, alwaysx, initialx, Question: what about X expression in index of Vector or array expressions (a[i] where i === 'X). Cliff to pursue further action. 04/10/2006 Steven to create proposal for SVDB 1386 04/10/2006 Steven to create proposal for SVDB 1078 05/22/2006 Gord file issue regarding scoping & forward visibility in $unit. 06/19/2006 Gord raise the issue of support of dynamic data in vcd to SV-EC. 06/19/2006 Francoise check with SV-CC regariding suitability of data read API to address debugging of "dynamic data" in lieu of vcd extensions. 07/10/2006 Steve add bugnote to 1043 about specifics for resolution 07/31/2006 Steve add bug note to 1481 with details for a clearer proposal 09/25/2006 Matt add SVDB entry to request capability to packages: import/export & non-exported (local) package declarations. 10/09/2006 Brad: enhance 1554 proposal to prevent circularity of expressions (address use or non-use of hierarchical references). 10/23/2006 Matt send example of use of forward typedef. 12/04/2006 Shalom present compelling example of `begin_define -- `end_define 12/18/2006 Gord open Mantis item about expressibility/flexibility problems of unique case 12/18/2006 Cliff open Mantis item about 'predefault' with compelling examples 01/08/2007 Vendors to describe interpretation of a path when there are multiple drivers involved and share test cases on reflector. 02/05/2007 Matt to send list of issues targeted for March 15 resolution 03/05/2007 ALL look at SV-AC items and send Matt a note if you require more information to address them. Matt will work with SV-AC to get additional information. 03/19/2007 Cliff send e-mail to Karen regarding SVDB account 03/19/2007 Heath send e-mail to Karen regarding SVDB account 03/19/2007 Don send e-mail to Karen regarding draft 2 password 04/26/2007 Matt post approved issus for 1800-2008 Draft 3 04/26/2007 All file remaining draft 2 issues to SVDB