SV-BC Meeting Date: Monday, May 23, 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 2021211310202213101 Day 3951844176285730629 0000000001111000000 Month 5544332112110998887 1111111111111111111 Year 1111111110000000000 aaaaa-aa-a-a-aaaaa- Steven Sharp - Cadence a--aaaa-aaaaa-aaaaa Francoise Martinolle - Cadence aa--a-aaaaaaaaa--aa Kaiming Ho - Fraunhofer Institute aaaaaaaaaaaaaaaaa-a Matt Maidment - Intel aa-aaa-aaaaaaaaaa-a Tom Alsop - Intel aa-aaaa-aaaaaaaaaaa Shalom Bresticker - Intel aa-aaaaaaaaaaaaa-aa Dave Rich - Mentor Graphics -aaaaaaaaa-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics aaaaa-aa-aaaaa-aa-a Alex Gran - Mentor Graphics aaaaaaaaaaa-aaaaaaa Arnab Saha - Mentor Graphics aa-a-a-aaa-aa-aa-aa Eric Coffin - Mentor Graphics aaaaaaaaaaaaaaa-aaa Brad Pierce - Synopsys aaaaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys aa----aaaa-a-aaa--a Peter Flake - Accellera Rep -a----------------- Stu Sutherland - IEEE 1800 Editor aa----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 Mark moves to consider reviewed. Eric seconds. No oppposed. No abstain. Motion passes. + Review previous meeting minutes http://www.eda.org/sv-bc/minutes/sv-bc_11_05_09.txt Eric moves to accept the minutes. Tom seconds. No opposed No abstain Motion passes. + E-mail Vote Results http://www.eda.org/sv-bc/hm/11018.html Pass: 1214, 2540, 2463 Fail: 3548 Arnab: 1967 and 3548 are related to the same section but are not exactly the same. IMO the notes about fork-join block from 3548 should be carried to 1967 if 3548 is closed. Steven believes the two issues are not duplicates but should be resolved together. Changes for one of the issues will affect the other. Dave noted that section related to tasks and functions has a lot of merge artifacts and could be improved. + Mantis 2108 http://www.eda.org/svdb/view.php?id=2108 Please review this thread: http://www.eda.org/sv-bc/hm/11014.html Dave took action item to review with Gord the slides referenced by Brad. + Mantis 210 http://www.eda.org/svdb/view.php?id=210 See: http://www.eda.org/sv-bc/hm/11016.html Suggestion: void data type for port or introduce zero-size arrays/vectors. Does not seem to be a complete solution. Another suggestion: use attributes that are set to parameter values to indicate to appropriate tools that ports should not exist or unconnected. It is a user-specific methodology and not a standard solution. Peter thinks the attribute suggestion is interesting. Would like to consider it. Steven moves to resolve issue with no change as unable to find solution that is technically sound and acceptable to users. Tom seconds. No opposed. No abstain. Motion passes. + Mantis 2991 (enum extension) Tom collected feedback from users and will post to reflector. Tom to send to reflector. 10:59 AM: Steven 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 05/09/11 Matt add 2108 to next meeting agenda 03/14/11 Matt code examples for 210 and make proposal to resolve. 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.