SV-BC Meeting Date: Monday, April 25, 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 21211310202213101 Day 51844176285730629 00000001111000000 Month 44332112110998887 11111111111111111 Year 11111110000000000 aaa-aa-a-a-aaaaa- Steven Sharp - Cadence -aaaa-aaaaa-aaaaa Francoise Martinolle - Cadence --a-aaaaaaaaa--aa Kaiming Ho - Fraunhofer Institute aaaaaaaaaaaaaaa-a Matt Maidment - Intel aaaa-aaaaaaaaaa-a Tom Alsop - Intel -aaaa-aaaaaaaaaaa Shalom Bresticker - Intel -aaaaaaaaaaaaa-aa Dave Rich - Mentor Graphics aaaaaaaa-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics aaa-aa-aaaaa-aa-a Alex Gran - Mentor Graphics aaaaaaaaa-aaaaaaa Arnab Saha - Mentor Graphics -a-a-aaa-aa-aa-aa Eric Coffin - Mentor Graphics aaaaaaaaaaaaa-aaa Brad Pierce - Synopsys aaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys ------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-aa-aa Daniel Schostak - ARM ----aa-a--------- David Gates - AMD ----aaaa-a-aaa--a Peter Flake - Elda Technology -----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. Tom seconds. No opposed. No abstain. Motion passes. + Review previous meeting minutes http://www.eda.org/sv-bc/minutes/sv-bc_11_04_11.txt Gord moves to accept minutes. Tom seconds. No opposed. No abstain. Motion Passes. + E-Mail Vote Results http://www.eda.org/sv-bc/hm/10983.html Need to discuss the following items: 2982 http://www.eda.org/svdb/view.php?id=2982 Dave's suggestion to use $urandom is motivated to make sure that general users know to use $urandom and use $random when they are aware that it returns a signed result. AI: Matt for 20.15.1 how about making ran an 'int' instead of an unsigned number. AI: Matt delete initialization in 25.7.2 Dave can file issue to address other users of $random per his feedback. 3026 http://www.eda.org/svdb/view.php?id=3026 Steven clarified email comments that proposal addresses issue and his concern over clarity of proposal to editor. 3384 http://www.eda.org/svdb/view.php?id=3384 Consenus is that bit/logic/reg not same as others in table 6-8. Options: put bit/logic/reg in one entry 'packed array' or create a new table with bit/logic/reg and address them as packed arrays and in table 6-8 address bit/logic/reg specifically as scalars. Need to ensure bit/logic/reg are noted to default as 'unsigned' as the proposal is attempting to address. Brad moves to accept proposal for 3384 and Matt to file Mantis item to note how section is deficient for logic/bit/reg. Steven seconds. No opposed. No abstain. Motion passes. (Note: New Mantis issue is 3523) + Mantis 3230 SV-EC notified Matt that they are addressing it. No dissent from SV-BC. + Matis 210 If generate scopes, What are matching names for ".*". Adds complexity for dotted expressions for port connections? Modules not only place this is a limitation. Flexibility is also lacking for tasks and functions. Having generated ports would complicate connecting interface ports (interfaces can contribute to parameterization of module). Steven suggested an idea external port connection references as arrays (.A[0](...), .A[1](...)) There are so many interactions with other features that need to be addressed to make this work (from elaboration to connecting ports). The associated complexity does not seem to dramatically outweigh the benefits of the idea and the fact that it can be approximated with more typing. AI: Matt send email vote covering the following issues: + Mantis 3151 http://www.eda.org/svdb/view.php?id=3151 + Mantis 2835 http://www.eda.org/svdb/view.php?id=2835 + Mantis 3233 http://www.eda.org/svdb/view.php?id=3233 + Mantis 2901 http://www.eda.org/svdb/view.php?id=2901 + Mantis 3216 http://www.eda.org/svdb/view.php?id=3216 + Mantis 2662 http://www.eda.org/svdb/view.php?id=2662 10:42AM 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 - 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 03/28/11 Matt for April 11, 2011 meeting add 2856 and follow-up on Gord's proposal to limit hierarchical references for parameters in module instantiations. Outstanding 05/10/10 Matt create Master Issue for WG-approved SV-BC Top-25 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? 07/19/10 Dave to post request to reflectors for clarification of 2108 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/02/10 Gord meet F2F with Mark when in Bay Area 08/16/10 Matt to rethink 210 in terms of configuration and alias. 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 Matt follow-up about voting rules for technical sub-committee. Is there a limit on the number of reps from 1 entity? 07/19/10 Dave to post request to reflectors for clarification of 2108 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 talk to Karen about Accellera plans for participation. Questions about how to get user input, especially for bugs. 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. 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. 04/25/11 Matt send email vote covering issues 3151, 2835, 3233, 2901, 3216 and 2662.