SV-BC Meeting Date: Monday, October 25, 2010 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: 7839818 2213101 Day 5730629 1000000 Month 0998887 1111111 Year 0000000 aaaaa-a Matt Maidment - Intel aaa-aaa Brad Pierce - Synopsys aaaaaaa Mark Hartoog - Synopsys aaaa-aa Dave Rich - Mentor Graphics aaaaaaa Gordon Vreugdenhil - Mentor Graphics aa-aa-a Alex Gran - Mentor Graphics --a--aa Heath Chambers - Consultant/Trainer aaaaa-a Tom Alsop - Intel --aaaaa Cliff Cummings - Sunburst Design aaaaaaa Shalom Bresticker - Intel a---aaa Don Mills - LCDM Engineering aaaaaaa Arnab Saha - Mentor Graphics a-aa-aa Daniel Schostak - ARM aaa--aa Kaiming Ho - Fraunhofer Institute -aaaaa- Steven Sharp - Cadence a-aaaaa Francoise Martinolle - Cadence a-aa-aa Eric Coffin - Mentor Graphics ------- David Gates - AMD -aaa--a Peter Flake - Elda Technology ------- Scott Little - Freescale ------- John Havlicek - Freescale ------- Rishiyur Nikhil - BlueSpec --a---a Jonathan Bromley - Verilab -----a- Greg Jaxon - Synopsys aaa---- Linc Jepson - 74ze Agenda + Review IEEE patent policy http://standards.ieee.org/board/pat/pat-slideset.ppt Reviewed. + Previous Meeting Minutes http://www.eda.org/sv-bc/minutes/sv-bc_10_09_27.txt Dave moves to accept the minutes. Shalom seconds. No opposed. Abstain: Eric Motion passes. + Feedback on proposal to add DPI calls as system tasks Wilson Snyder floated this concept to the SV-BC reflector: http://www.eda.org/sv-bc/hm/10502.html and there were responses from several BC members. The SV-CC chair has again asked for feedback: http://www.eda.org/sv-bc/hm/10598.html Francoise moves: "The SV-BC agrees with the summary in post: http://www.eda.org/sv-bc/hm/10599.html and does not believe there is sufficient justification for the proposed enhancement." Dave seconds. No opposed. No abstain. Motion passes. + Mantis 696 (http://www.eda.org/svdb/view.php?id=696) Need to address this feedback from Neil: http://www.eda.org/sv-bc/hm/10605.html Tom moves to accept the current proposal with the friendly amendment to change the wording of the paragraph that starts "The class contains " with Class C contains two static subroutines, ENCODER_f and DECODER_f. Each subroutine is parameterized by reusing the class parameters DECODE_WIDTH and ENCODE_WIDTH. The default value of parameter ENCODE_WIDTH is determined by using the system task $clog2 (see 20.8.2). These parameters are used within the subroutines to specify the size of the encoder and the size of the decoder. Gord seconds. No opposed. No abstain. Motion passes. AI: Tom update proposal for 696 per friendly amendment. + Review Mantis 1627 (http://www.eda.org/svdb/view.php?id=1627) SV-AC approved Mantis 1627. SV-BC was asked to review prior to sending to Champions. Please review and prepare for discussion. Gord moves to approve the proposal in 1627. Dave seconds. No opposed. No abstain. Motion passes. + Mantis 2889 (http://www.eda.org/svdb/view.php?id=2889) Dave: Proposal does not cover if it doesn't inherit the type from the explicitly named port, from where is it inherited? It goes back to the default of the first port. Francoise: An example may help. + Mantis 1170 (http://www.eda.org/svdb/view.php?id=1170) Francoise moves to accept proposal. Shalom seconds. No opposed. No abstain. Motion passes. + Mantis 3225 (http://www.eda.org/svdb/view.php?id=3225) Shalom moves to accept the proposal with the friendly amendment to remove the spurious " at the end of the added text. Brad seconds. No opposed. No abstain. Motion passes. + Mantis 3230 (http://www.eda.org/svdb/view.php?id=3230) Mark & Dave: This wording can be misleading with respect to class methods, which can no longer be static. Shalom will address this and similar phrasing for tasks in 13.3.1. + Mantis 1133 (http://www.eda.org/svdb/view.php?id=1133) Dave moves to resolve as addressed by the streaming operator. Francoise seconds. No opposed. No abstain. Motion passes. + Mantis 3080 (http://www.eda.org/svdb/view.php?id=3080) Shalom moves to resolve as duplicate of 2678. Alex seconds. No opposed. No abstain. Motion passes. + Mantis 3137 (http://www.eda.org/svdb/view.php?id=3137) Shalom moves to resolve as not a mistake. Francoise seconds. No opposed. No abstain. Motion passes. + Mantis 3210 (http://www.eda.org/svdb/view.php?id=3210) Shalom moves to resolve as not a bug. Gord seconds. No opposed. No abstain. Motion passes. + Mantis 2534 (http://www.eda.org/svdb/view.php?id=2534) This raised an issue of why not allowing generic interfaces to connect implicitly to interfaces of the same name. Implementations apparently allow implicit connections of generic interface ports to non-generic interfaces of the same name. Needs more work to resolve. + Mantis 3231 (http://www.eda.org/svdb/view.php?id=3231) Tom moves to accept proposal. Steven seconds. No opposed. No abstain. Motion passes. For next time: Discuss Peter Flake's post regarding interface and modport issues. 2310 - Eric and Gord would like to hold discussion using a reference implementation that others can use. Reference implementation would not be anyone's actual implementation and would not match the LRM. Would be made available through some sort of license. Wilson Snyder recently published a paper on the topic http://www.veripool.org/papers/Preproc_Good_Evil_SNUGBos10_paper.pdf Wilson Snyder mentions that he has posted an open source Verilog-2009 compliant pre-processor. 10:59AM Steven moves to adjourn. + Progress/Discussion for Top 10 Looking for proposal sketches or discussion for any of these issues. 696 - Champion: Tom 2310(1084, 1201) - Participants: Eric, Tom, Shalom, Steven, Wilson Snyder 3053 - Participants: Francoise, Mark, Alex, Kaiming 3055 - Participants: Gord, Mark; Gord busy. Buried in priority. 2991 - Champion: Tom, Participants: Steven 1566 - For future discussion; Consider mailboxes. 2114 - Similar to 3053. Have same group look at it. 210 - Participants: Shalom, Matt 3056 - Champion: Shalom, Participants: Steven, Francoise Action Items Complete 08/16/10 Tom write up class static method examples and explanation for inclusion in clause 8 and reference in clause 13 and 3.8. 09/13/10 Shalom review 2318 and classifying issues as testbench or design See: http://www.eda.org/sv-bc/hm/10566.html 09/27/10 Tom post updated proposal to 696. 09/27/10 Matt to open email vote for 696 by Oct 4. 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 Brad update Mantis items passed by email vote. 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 Tom post updated proposal to 696. 09/27/10 Review Shalom's list of interface issues and suggest issues to tackle now. 10/25/10 Tom update proposal for 696 per friendly amendment.