SV-BC Meeting Date: Monday, May 9, 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 021211310202213101 Day 951844176285730629 000000001111000000 Month 544332112110998887 111111111111111111 Year 111111110000000000 aaaa-aa-a-a-aaaaa- Steven Sharp - Cadence --aaaa-aaaaa-aaaaa Francoise Martinolle - Cadence a--a-aaaaaaaaa--aa Kaiming Ho - Fraunhofer Institute aaaaaaaaaaaaaaaa-a Matt Maidment - Intel a-aaa-aaaaaaaaaa-a Tom Alsop - Intel a-aaaa-aaaaaaaaaaa Shalom Bresticker - Intel a-aaaaaaaaaaaaa-aa Dave Rich - Mentor Graphics aaaaaaaaa-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics aaaa-aa-aaaaa-aa-a Alex Gran - Mentor Graphics aaaaaaaaaa-aaaaaaa Arnab Saha - Mentor Graphics a-a-a-aaa-aa-aa-aa Eric Coffin - Mentor Graphics aaaaaaaaaaaaaa-aaa Brad Pierce - Synopsys aaaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys a----aaaa-a-aaa--a Peter Flake - Accellera Rep a----------------- Stu Sutherland - IEEE 1800 Editor -------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 a----a-a---a-aa-aa Daniel Schostak - ARM -----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 Gordon moves to consider it reviewed. Eric seconds. No opposed. No abstain. Motion passes. + Review previous meeting minutes http://www.eda.org/sv-bc/minutes/sv-bc_11_04_25.txt Tom moves to accept minutes as posted. Gord seconds. No opposed. Abstain: Eric, Kaiming, Shalom (did not attend) Motion passes. + E-Mail Vote Results All issues included in this vote: http://www.eda.org/sv-bc/hm/10994.html passed unanimously. + Mantis 2982 Tom updated proposal to change rand to randar and maintain randomization of raddr. Tom moves to accept updated proposal. Shalom seconds No opposed. No abstain. Motion passes. + Extending Enumerates Tom asked about possibility of starting work on this item. Gord would like to see AOP more fully developed and does not see need to do this for enums. Tom will gather more input on motivation and send to reflector. Gord suggests enum extensions be moved to SV-EC as the feature appears motivated by testbench writers. + Mantis 210 Matt needs to address Dave Gate's interface examples from 2/14/11. 9:45AM: Tom 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 - Participants: Shalom, Matt 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 Complete 08/16/10 Matt to rethink 210 in terms of configuration and alias. 04/25/11 Matt send email vote covering issues 3151, 2835, 3233, 2901, 3216 and 2662. 04/25/11 Matt for proposal for 2982 in 20.15.1 change "ran" to an 'int' instead of an unsigned number and delete initialization in 25.7.2. 03/14/11 Matt talk to Karen about Accellera plans for participation. Questions about how to get user input, especially for bugs. Update: Peter Flake is Accellera rep to SV-BC. User bugs can be sent to reflector and forwarded on by reflector admins (Brad & Matt). Can cc: non-committee members on clarification issues posted to SV-BC reflector. Cannot cc: non-committee members on enhancements. 07/19/10 Matt follow-up about voting rules for technical sub-committee. Is there a limit on the number of reps from 1 entity? Update: There is no limit and votes will generally be done on an individual basis. If resolution of an issue is contentious then an entity-based vote may be done. 08/02/10 Gord meet F2F with Mark when in Bay Area 07/19/10 Dave to post request to reflectors for clarification of 2108 Update: See http://www.eda.org/sv-bc/hm/11014.html 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/14/11 Matt code examples for 210 and make proposal to resolve. 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/09/11 Matt add 2108 to next meeting agenda