SV-BC Meeting Date: Monday, June 20, 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 202021211310202213101 Day 063951844176285730629 000000000001111000000 Month 665544332112110998887 111111111111111111111 Year 111111111110000000000 aaaaaaa-aa-a-a-aaaaa- Steven Sharp - Cadence aaa--aaaa-aaaaa-aaaaa Francoise Martinolle - Cadence -aaa--a-aaaaaaaaa--aa Kaiming Ho - Fraunhofer Institute aaaaaaaaaaaaaaaaaaa-a Matt Maidment - Intel a-aa-aaa-aaaaaaaaaa-a Tom Alsop - Intel aaaa-aaaa-aaaaaaaaaaa Shalom Bresticker - Intel aaaa-aaaaaaaaaaaaa-aa Dave Rich - Mentor Graphics -a-aaaaaaaaa-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics aaaaaaa-aa-aaaaa-aa-a Alex Gran - Mentor Graphics -aaaaaaaaaaaa-aaaaaaa Arnab Saha - Mentor Graphics a-aa-a-a-aaa-aa-aa-aa Eric Coffin - Mentor Graphics aaaaaaaaaaaaaaaaa-aaa Brad Pierce - Synopsys aaaaaaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys -aaa----aaaa-a-aaa--a Peter Flake - Accellera Rep ---a----------------- Stu Sutherland - IEEE 1800 Editor aaaa----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. Tom seconds. No opposed. No abstain. Motion passes. + Review previous meeting minutes http://www.eda.org/sv-bc/minutes/sv-bc_11_06_06.txt Francoise moves to approve the minutes. Shalom seconds. No opposed. Abstain: Tom, Eric (did not attend) Motion passes. + 3595 - http://www.eda.org/svdb/view.php?id=3595 Recently moved to SV-BC. Steven: using an event control on a triggered status of a sequence will not work as expected. Triggered property reset to false at end of timestep which means that affected processes cannot be retriggered. In order to trigger again at the end of time, the timestep would not actually be done. Dave: Define that event triggered when going from false-to-true. When event goes from true-to-false is undefined behavior. Shalom: What happens when one waits for a triggered method in a wait statement in a module? There was some discussion of how it is possible to move from observed to active regions. Consensus: This is legal. When sequence goes from false to true, an event is emitted. Going from true to false does not emit an event. For named event, change 'triggered' from event property to method. AI: Steven agreed to write a proposal for 3595 for the next meeting. + State-preservation and Functions Discussion based on following thread: http://www.eda.org/sv-bc/hm/11054.html Francoise raised issues with text in 16.6: "Functions shall be automatic (or preserve no state information) and have no side effects." Also referenced in 18.5.11, 17.8. Steven clarified that this and another bullet in 16.6 are attempting to describe something akin to "pure" functions but are ineffective and inaccurrate. Shalom noted that this language added in 3.1 for assertions. Brad: What do the places in the LRM that use this language really need? Steven: Desire to have a function whose result is determined only by its arguments. Steven moves that Matt write an email and cc: Steven to redirect this issue to the committees that he believes should resolve this. Brad seconds. No opposed. No abstain. Motion passes. + 3608 - http://www.eda.org/svdb/view.php?id=3608 Francoise posted a proposal. Please review the email thread: http://www.eda.org/sv-bc/hm/11045.html Explored substituting the list of items with the term 'data objects'. Seems many references to 'variables' in 23.7, 23.8 and 23.9 should be reviewed and considered for changing 'variable' to 'data object'. Brad: Is an event a data object? Steven: Yes. Matt: Class member not specific enough to associate with data object. Steven: Suggest class properties. Francoise questions if definition of data object is complete. AI: Matt revisit data object definition in future agenda. 11:00AM: Steven moves to adjourn. + 2289 - http://www.eda.org/svdb/view.php?id=2289 Shalom posted proposal. + 3326 - http://www.eda.org/svdb/view.php?id=3326 Shalom posted proposal. + 1251 - http://www.eda.org/svdb/view.php?id=1251 Explore issue to enable future proposal + 2081 - http://www.eda.org/svdb/view.php?id=2081 Explore issue to enable future proposal + 3073 - http://www.eda.org/svdb/view.php?id=3073 Identify sub-issues to be tackled. 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 - 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 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. 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/20/11 Steven write a proposal for 3595 06/20/11 Matt revisit data object definition in future agenda. 06/20/11 Matt write email and cc: Steven to redirect issue of state preservation and functions to the committees that Steven believes should resolve the issue.