SV-BC Meeting Date: Monday, June 6, 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 02021211310202213101 Day 63951844176285730629 00000000001111000000 Month 65544332112110998887 11111111111111111111 Year 11111111110000000000 aaaaaa-aa-a-a-aaaaa- Steven Sharp - Cadence aa--aaaa-aaaaa-aaaaa Francoise Martinolle - Cadence aaa--a-aaaaaaaaa--aa Kaiming Ho - Fraunhofer Institute aaaaaaaaaaaaaaaaaa-a Matt Maidment - Intel -aa-aaa-aaaaaaaaaa-a Tom Alsop - Intel aaa-aaaa-aaaaaaaaaaa Shalom Bresticker - Intel aaa-aaaaaaaaaaaaa-aa Dave Rich - Mentor Graphics a-aaaaaaaaa-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics aaaaaa-aa-aaaaa-aa-a Alex Gran - Mentor Graphics aaaaaaaaaaaa-aaaaaaa Arnab Saha - Mentor Graphics -aa-a-a-aaa-aa-aa-aa Eric Coffin - Mentor Graphics aaaaaaaaaaaaaaaa-aaa Brad Pierce - Synopsys aaaaaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys aaa----aaaa-a-aaa--a Peter Flake - Accellera Rep --a----------------- Stu Sutherland - IEEE 1800 Editor aaa----a-a---a-aa-aa Daniel Schostak - ARM ---------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 reviewed. Mark seconds. No opposed. No abstain. Motion passes. + Review previous meeting minutes http://www.eda.org/sv-bc/minutes/sv-bc_11_05_23.txt Peter moves to accept the minutes. Arnab seconds. No opposed. Abstain: Gord (was not present) Motion passes. + Mantis 2991 Review Tom's feedback posted to the reflector: http://www.eda.org/sv-bc/hm/11028.html Feedback appears to be coming from testbench users. Gord believes this is leading to desire for AOP and when inheritance. If focus on enums alone, can make enabling AOP more difficult. Some may want new enum to be the same "type" as old enum and not create a new type. This behavior could be problematic for separate design compilation. Peter asked whether type parameters would give one type flexibility. Others noted that users want inheritence behavior. Gord moves that 2991 should be addressed by the SV-EC. Brad seconds. No opposed. No abstain. Motion passes. + Issue Discussion AI: Matt add 3073, 1251, 2081 to agenda for June 20 meeting. 1504: Explore declaring data type in a parameterized class. Unsure of permissibility of declaring a struct inside a struct. Derived types may want to access constants in other parameterized structs and that is not currently defined. Already defined for classes but must pass entire class, not just the struct otherwise cannot access the parameters. Static, virtual class may also have methods for struct. Matt will work on this proposal. 2289: (note 6.20.4 and 27.2 conflict on use of parameter in generate; need to bring 27.2 in alignment with 6.20.4). Shalom will write proposal. 1523: See 11.4.11, missing dynamic arrays, assoc arrays, queues - Dave volunteers to write proposal. For arrays and queues, size to larger and use default unitialized value; for ambiguous condition could flag error; Mark raised time 0 being problematic, so empty array, queue, assoc array would be better AI: Matt add SV-BC consensus for 1523 in Mantis. 10:35AM Gord 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 - Move to SV-EC 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 - X/Z behavior in various contexts 2289 - parameters inside comp unit & gen block are local 1504 - parameterized structs and unions 1144 - Out-of-bound array address 2081 - always_comb statements 1553 - nested module clarifications 2684 - variable part-selects 1861 - major modport enhancements 1523 - behavior of ?: on complex types 3074 - Connectivity Enhancements 2124 - `default_nettype var-type directive Action Items 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. 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. 12/06/10 Matt open new Mantis item covering determination of port kind for .named_port connection (23.2.2.3). 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/06/11 Matt add 3073, 1251, 2081 to agenda for June 20 meeting. 06/06/11 Matt add SV-BC consensus for 1523 in Mantis.