SV-BC Meeting Date: Monday, April 28, 2008 Time: 11:00am-1:00pm PDT Toll Free Dial In Number: 1-866-675-1568 International Access/Caller Paid Dial In Number: 1-281-540-4972 PARTICIPANT CODE: 2125837662 212101020121210102020213131010001020211 Day 845738417002951760639510406295588439514 000000000111111000000000000000001111000 Month 443332211211000998877665544433212200998 000000000000000000000000000000000000000 Year 888888888777777777777777777777776666666 aaaaaaaaaaaaaaaaaa-aaaaaaaaaaaa---aaaaa Matt Maidment - Intel aaaaaa-aaaaaaaaaaaaaaaaaaaaa-aaaaaaaaaa Brad Pierce - Synopsys aaaaaaaaaaaaaaaaaaaaaaaaaaa-aaaaaaaaaaa Shalom Bresticker - Intel aaaaaaaaaaaaa-a-a--aaaa-aaa-aaaaaa-aaaa Cliff Cummings - Sunburst Design aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys --aaa-aa-aaa-aaaaaaaaaa-a-a-aaaaa-a-aaa Francoise Martinolle - Cadence --aaaaa-aaa-aaaaaaaaa-a-aaaaa-aaaaaaaaa Karen Pieper - Tabula aaaaa-a-aaa-aaaaaaaaaaaaaaaaaaa-aaaaaaa Dave Rich - Mentor Graphics aaaaaaaaaaaaaaaa-aaaaaaaaaaaaaaaaa-aaaa Steven Sharp - Cadence aaaaaaaaaaaaaaaaaaaa-aaaa-aa-a-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics aa-aaa-aaaaaaaaaaa-a-aaaaaa-aa-a--aaaaa Stu Sutherland - Sutherland HDL aa-aaaaaaaaaaaaaaaaaaaaa-aaaaa--------- Alex Gran - Mentor Graphics aaaaaaaaaaa-aaaaaaa--aaaaaa-aa-a-aaaaa- Don Mills - LCDM Engineering aaaaaaaa-aaaaa-aaa-aaaaa-aaaaaaaaa-aaaa Heath Chambers - Consultant/Trainer aaaaaaa-aaaaaaaaaaa-------------------- Tom Alsop - Intel --------aaaaaaa------------------------ Mike Burns - Freescale --a-aa-aaa-aaa----------------aa---aa-a Doug Warmke - Mentor Graphics -----------------a-aaa----------------- Will Cummings - Synplicity -------------a-a----aaa--a-aaaaaaaaaaa- Surrendra Dudani - Synopsys ---------------a----------------------- Greg Jaxon - Synopsys ------a-------------------------------- Sachi Bhat - Synopsys Agenda + Review IEEE patent policy http://standards.ieee.org/board/pat/pat-slideset.ppt Reviewed. + Review Minutes of Previous Meetings http://www.eda-stds.org/sv-bc/minutes/sv-bc_08_04_14.txt Cliff moves to accept the minutes. Heath seconds. No opposed. No abstain. Motion passes. + Operation Change to accommodate SV-SC With the SC running and several BC members participating, should we relax attendance or change agenda to accommodate those attending SC? Issue was discussed and it was agreed to continue with no changes. + Draft 5 is Available Review items in completed status. If edit is fine, move to closed status. If follow-up needed by editor, move to editor status Draft 6 due May 28, so this review should be completed in advance. In general, issues should be reviewed by the person to which it was assigned. 114 SV-BC issues to review, 74 assigned to Shalom. Discussed how to share workload to ensure BC meets deadline. Gord, Cliff are busy and cannot spend time reviewing beyond the issues to which they are assigned. Cliff may have time in a few weeks. Volunters: Alex, Steve, Matt, Heath (a few) & Shalom AI: Matt send some arbitrary split of Completed items currently assigned to Shalom + Issues 2008 (http://www.eda.org/svdb/view.php?id=2008) Agreement that the proposal should be updated to line up with Draft 5. AI: Tom to upload new proposal for 2008. 2235 (http://www.eda.org/svdb/view.php?id=2235) Gord moves to accept updated proposal. Steven seconds. No opposed. No abstain. Motion passes. 2373 (http://www.eda.org/svdb/view.php?id=2373) Spawned from 2099 (force/release of variables) Cliff moves to accept proposal. Tom seconds. No opposed. No abstain. Motion passes. 2099 (http://www.eda.org/svdb/view.php?id=2099) Continue to review. Left off with: 10-2. 10.6.1: What about unpacked stucts, enums, classes, etc.? AI: Cross-reference to 6.21 should be added to 10.6.1 AI: 10.6.1 should be extended to include member selects per question 10-2. File Mantis. 10-3. 10.6.2: What about unpacked stucts, enums, classes, etc. ? AI: Crossreference to 6.21 should be added to 10.6.2 AI: 10.6.2 should be extended per question 10-3. File Mantis. 11-1. 11.2.1: Are all operators listed in table 11-1 after merging in SV still legal in constant expressions? AI: File Mantis item for dist operator to be included in 11.4 & notify EC dist operator not suitable for a constant expression. Need to identify exceptions in table 11-1 (dist, all assignment operators, increment, decrement). AI: Matt create Mantis item to identify operators in table 11-1 that are not suitable for constant expressions. 11-2. 11.5.2: This text comes directly from 1364-2005. There was no matching subclause from 1800-2005 to merge in. Is new text needed for SV array addressing ? Rules mentioned in 7.4.3 and 7.4.6. AI: Create Mantis item suggesting text identified in question 11-2 be deleted or integrated elsewhere. 11-3. 11.6.1, Table 11-23: SV operators need to be added to this table. Yes, it needs to be done. This is SVDB 1805. AI: Add reference to 2099 and bug note regarding table 11-23/editor's note and table 11-1 (list of operators) to Mantis 1805. 13-1. 13.4.4: Also interface and program? Change: "A constant function call is a function invocation of a constant function local to the calling module or from a package or $unit where the arguments to the function are all constant expressions (see 11.2.1)." to "A constant function call is a function invocation of a constant function local to the calling design element or from a package or $unit where the arguments to the function are all constant expressions (see 11.2.1)." Similar ground covered in SVDB 1527. AI: Create mantis item to consider other contexts for locality of constant functions, per question 13-1 in Mantis 2099. 16-1. 16.14.3: This code looks like a mix of BNF and example. Should it be all one or the other? AI: Create Mantis for 2099, 16-1 and assign to AC 19-1. 19.5: should $signed/$unsigned be moved to Annex D since SV has sign casting? Not a big issue. No action to be taken. 20-1. 20.3.1: Is string type legal? "file_name" should be filename in italics. Mantis 331 missed it. AI: Matt move Mantis 331 to editor status with this note. 1:00pm meeting adjourned. 2072 (http://www.eda.org/svdb/view.php?id=2072) Merge Issue 2294 (http://www.eda.org/svdb/view.php?id=2294) Clarification required + Follow-up to assignment pattern thread Discussion of default: and type: assignment patterns starts here: http://www.eda.org/sv-bc/hm/8538.html Review Greg's interpretation: http://www.eda.org/sv-bc/hm/8541.html Action Items Completed 04/14/2008 Matt create Mantis item for change to 10.6.1. (See SVDB 2373) Dropped 04/14/2008 Matt to add 2235 to e-mail ballot. Pending 01/09/2006 Shalom file new issure related to SVDB 1254 and include example 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 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/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 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. 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. 04/26/2007 All: Revisit concept of memory in Draft 3 Affects PLI backward compatibility and readmem system tasks. After some discussion, ambivalence gave way to agreement that arrays and memories as covered in 7.4 need to be revisited for clarification. SVDB 1362 covers this issue. Dave will start working on it. 06/11/2007 Mark attempt to define 'variation' to aid resolution of SVDB 1850 06/25/2007 Gord add new SVDB entry and proposal to address expression sizing issues for literals of unspecified widths. 06/25/2007 Steve look into ability to use 1800 types with old-style port decls 08/06/2007 Steven to record concerns about issues related to issue 1935. 10/01/2007 Shalom to update SVDB 1747 based on feedback. 12/03/2007 Review editorial issues submitted by Shalom 03/03/2008 SV-BC review Draft 5 to ensure SVDB 2008's "violation report" added correctly 03/03/2008 Matt send mail on outcome of vote on SVDB 2089 03/17/2008 Steven open a new mantis item to request specification of what happens to queued violation reports when process is disabled 04/14/2008 Tom create a new Mantis item regarindg 7.4.3, to clarify exactly which array types are covered by these capabilities. Strings are not included. SVDB 1447 touches on this. 04/14/2008 Matt send e-mail to close on the items in 2099 04/28/2008 Matt send some arbitrary split of Completed items currently assigned to Shalom 04/28/2008 Tom to upload new proposal for 2008. 04/28/2008 Matt create Mantis item suggesting text identified in question 11-2 be deleted or integrated elsewhere. 04/28/2008 Matt file Mantis to add cross-reference to 6.21 to 10.6.1 04/28/2008 Matt 10.6.1 should be extended to include member selects per question Mantis 2099, 10-2. File Mantis. 04/28/2008 Matt file Mantis to add cross-reference to 6.21 to 10.6.2 04/28/2008 Matt 10.6.2 should be extended per question 10-3. File Mantis. 04/28/2008 Matt ile Mantis item for dist operator to be included in 11.4 and notify EC 04/28/2008 Matt create Mantis item suggesting text identified in question 11-2 of Mantis 2099 be deleted or integrated elsewhere. 04/28/2008 Matt add reference to 2099 and bug note regarding table 11-23/ editor's note and table 11-1 (list of operators) to Mantis 1805. 04/28/2008 Matt Create mantis item to consider other contexts for locality of constant functions. 04/28/2008 Create mantis item to consider other contexts for locality of constant functions, per question 13-1 in Mantis 2099. 04/28/2008 Create Mantis for 2099, 16-1 and assign to AC 04/28/2008 Matt move Mantis 331 to editor status with note that "file_name" should be filename in italics