SV-BC Meeting Date: Monday, November 21, 2011 Time: 9:00am-11:00am PDT Toll Free Dial In Number in North America: 1-888-813-5316 Caller Paid Dial In Number: 1-650-584-6338 Meeting ID: 45961 2212101202021211310202213101 Day 1629518063951844176285730629 1000000000000000001111000000 Month 1998887665544332112110998887 1111111111111111111111111111 Year 1111111111111111110000000000 -aaaaaaaaaaaaa-aa-a-a-aaaaa- Steven Sharp - Cadence aa-aaaaaaa--aaaa-aaaaa-aaaaa Francoise Martinolle - Cadence aaaaaaaaaaaaaaaaaaaaaaaaaa-a Matt Maidment - Intel -aa--a-a-aa-aaa-aaaaaaaaaa-a Tom Alsop - Intel aa-aaa-aaaa-aaaa-aaaaaaaaaaa Shalom Bresticker - Intel a-aaaaaaaaa-aaaaaaaaaaaaa-aa Dave Rich - Mentor Graphics aa-aaaa-a-aaaaaaaaa-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics aaaaa-aaaaaaaa-aa-aaaaa-aa-a Alex Gran - Mentor Graphics -----a--aaaaaaaaaaaa-aaaaaaa Arnab Saha - Mentor Graphics a-aaa-aa-aa-a-a-aaa-aa-aa-aa Eric Coffin - Mentor Graphics aaaa-aaaaaaaaaaaaaaaaaaa-aaa Brad Pierce - Synopsys aaaaaaaaaaaaaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys -a-aaaa-aaa----aaaa-a-aaa--a Peter Flake - Accellera Rep --aaaa-aaaa----a-a---a-aa-aa Daniel Schostak - ARM aa---aa-aaa--a-aaaaaaaaa--aa Kaiming Ho - Fraunhofer Institute -aaaaaa---a----------------- Stu Sutherland - IEEE 1800 Editor (Observer) -----------------a--------a- Greg Jaxon - Synopsys ---------------------------- Scott Little - Freescale ---------------------------- John Havlicek - Freescale ---------------aa------aaaaa Cliff Cummings - Sunburst Design ---------------aa-aaa--a--aa Heath Chambers - Consultant/Trainer ---------------aaaa-aa---aaa Don Mills - LCDM Engineering ---------------aa-a--------- David Gates - AMD ----------------aa-aaaaa---- Linc Jepson - 74ze ---------------------------- Rishiyur Nikhil - BlueSpec -----------------------a---a Jonathan Bromley - Verilab Agenda + Review IEEE patent policy http://standards.ieee.org/board/pat/pat-slideset.ppt Gord moves to consider it reviewed. Mark seconds No opposed. No abstain. Motion passes. + Review previous meeting minutes http://www.eda.org/sv-bc/minutes/sv-bc_11_09_26.txt Gord moves to accept minutes. Shalom seconds. No opposed. Abstain: Eric (did not attend) Motion passes. + 3423 - http://www.eda.org/svdb/view.php?id=3423 Shalom's feedback regarding this issue is: "This proposal discusses a .* connection to an instance array. I don't think this has been discussed in SV-BC, I don't think it is defined in the LRM. It is not clear to me that it is even legal, or if it is, what its semantics are. I think this has to be discussed in SV-BC first. (and also .name connections to instance arrays)." Francoise recalled that this features were discussed in SV-CC and did not consider nor see explicit language to address the legality of .*/.name for instance array. Gord suggested that this area was missed when .*/.name was specified. Questions include details about expression types, interfaces, modports, generic interfaces and virtual interfaces.   Steven suggested either making .*/.name illegal for instance arrays or allowing only minor capability. Francoise willing to write a proposal for .name/.* for array of instances. Gord likely to oppose making this more restrictive. Scope of comprehensive proposal is significant. Steven would like more user input on what is wanted/needed. Does not appear SV-BC will address this during this PAR. Francoise moves to communicate: "The SV-BC agrees with Shalom that semantics for .name/.* are not well-defined. As a result SV-BC would like to see detail #3 removed from the proposal associated with Mantis 3423." Steven seconds. No opposed. No abstain. Motion passes. AI: Matt update 3423 with SV-BC response and notify Neil. Additionally, the SV-BC has filed the following Mantis items: 1. Clarify/define semantics of .name/.* for instance array connections 2. Can one connect an interface port with a modport name to an interface port without a modport name and whether this is legal for .name/.* connections, irrespective of instance arrays. AI: Francoise file port connection Mantis items and associate with 3423. + Review of Implemented Mantis Items AI: Shalom review implementation of 2204. AI: Matt review implementaiton of other 5 SV-BC issues as they progress through process. 10:30am Brad moves to adjourn. Top 25 Mantis Items 696 - Complete 2310(1084, 1201) - Participants: Eric, Tom, Shalom, Steven, Wilson Snyder 3053 - Participants: Francoise, Mark, Alex, Kaiming 3055 - Participants: Gord, Mark 2991 - Champion: Tom, Participants: Steven 1566 - For future discussion 2114 - Similar to 3053. Have same group look at it. 210 - Complete 3056 - Champion: Shalom, Participants: Steven, Francoise 1084 - Logical Expressions in Macros 2115 - X-Optimism/X-Pessimism resolution 3073 - Collected $bits issues 1697 - Macro Loops 1202 - Define Standard Preprocessor 1251 - Complete 2289 - Complete 1504 - Complete 1144 - Out-of-bound array address 2081 - Complete 1553 - nested module clarifications 2684 - variable part-selects 1861 - major modport enhancements 1523 - Complete 3074 - Connectivity Enhancements 2124 - `default_nettype var-type directive Action Items Complete 07/18/11 Francoise generalize other wording in 23.7 as suggested by Shalom and complete proposal for 3608 09/12/11 Matt check that all implemented Mantis items for Draft 2 have been reviewed. 09/26/11 Matt send to feedback on 3564 to SV-AC 09/26/11 Matt close with Jonathan Bromley on updating the proposal for 1067 Outstanding 05/10/10 Matt create Master Issue for WG-approved SV-BC Top-25 07/19/10 Jonathan post some items for discussion related to 2114 to reflector. 08/02/10 Brad give SV-BC feedback on Mantis 2992 to Mehdi 08/02/10 Eric start reflector thread on Mantis 2310 08/16/20 All send Shalom feedback about prioritizing the issues raised in port declaration issue summary: http://www.eda.org/sv-bc/hm/10498.html 09/13/10 Jonathan show simple examples of virtual interfaces, sub-interfaces and base classes in modules to demonstrate different methods for connecting design and testbenches. 09/27/10 Review Shalom's list of interface issues and suggest issues to tackle now. 11/22/10 Brad to file Mantis item for upward passing of interfaces. 01/31/11 All check with users regarding viability of rule that virtual interface declarations require that the referenced interface be previously parsed. 02/14/11 Users consider proposed restrictions and use-cases for varargs and provide feedback. 03/14/11 Matt check back with Gord and Mark in April about feedback regarding interface issues. 03/14/11 All drill down on 3055 and identify issues that would be straightforward to clarify regarding constant expressions, type operations and what is a hierarchical name. 03/28/11 Check with Gord in early June 2011 regarding 2856 and his proposal to limit hierarchical references for parameters in module instantiations. 05/23/11 Dave to review with Gord the slides referenced by Brad regarding issue 2108. 06/20/11 Steven write a proposal for 3595 07/18/11 File new mantis item to clarify determination of true/false for If-statement (12.4), while, do-while, iff, conditional operator and potentially others for all data types. Does Mantis 1974 sufficiently capture the issue? 07/18/11 File new mantis item to request clarification of Short-circuiting of &&, ||, ->, ?: (11.3.5) 11/21/11 Matt update 3423 with SV-BC response and notify Neil. 11/21/11 Francoise file port connection Mantis items and associate with 3423. 11/21/11 Shalom review implementation of 2204. 11/21/11 Matt review implementaiton of other 5 SV-BC issues as they progress through process.