SV-BC Meeting Date: Monday, February 4, 2008 Time: 09:00am-11:00am PST Toll Free Dial In Number: 1-866-675-1568 International Access/Caller Paid Dial In Number: 1-281-540-4972 PARTICIPANT CODE: 2125837662 020121210102020213131010001020211 Day 417002951760639510406295588439514 000111111000000000000000001111000 Month 211211000998877665544433212200998 000000000000000000000000000000000 Year 888777777777777777777777776666666 aaaaaaaaaaaa-aaaaaaaaaaaa---aaaaa Matt Maidment - Intel -aaaaaaaaaaaaaaaaaaaaa-aaaaaaaaaa Brad Pierce - Synopsys aaaaaaaaaaaaaaaaaaaaa-aaaaaaaaaaa Shalom Bresticker - Intel aaaaaaa-a-a--aaaa-aaa-aaaaaa-aaaa Cliff Cummings - Sunburst Design aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys aa-aaa-aaaaaaaaaa-a-a-aaaaa-a-aaa Francoise Martinolle - Cadence a-aaa-aaaaaaaaa-a-aaaaa-aaaaaaaaa Karen Pieper - Tabula a-aaa-aaaaaaaaaaaaaaaaaaa-aaaaaaa Dave Rich - Mentor Graphics aaaaaaaaaa-aaaaaaaaaaaaaaaaa-aaaa Steven Sharp - Cadence aaaaaaaaaaaaaa-aaaa-aa-a-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics -aaaaaaaaaaa-a-aaaaaa-aa-a--aaaaa Stu Sutherland - Sutherland HDL aaaaaaaaaaaaaaaaaa-aaaaa--------- Alex Gran - Mentor Graphics aaaaa-aaaaaaa--aaaaaa-aa-a-aaaaa- Don Mills - LCDM Engineering aa-aaaaa-aaa-aaaaa-aaaaaaaaa-aaaa Heath Chambers - Consultant/Trainer a-aaaaaaaaaaa-------------------- Tom Alsop - Intel --aaaaaaa------------------------ Mike Burns - Freescale -aaa-aaa----------------aa---aa-a Doug Warmke - Mentor Graphics -----------a-aaa----------------- Will Cummings - Synplicity -------a-a----aaa--a-aaaaaaaaaaa- Surrendra Dudani - Synopsys ---------a----------------------- Greg Jaxon - Synopsys a-------------------------------- Sachi Bhat - Synopsys Agenda + Review IEEE patent policy http://standards.ieee.org/board/pat/pat-slideset.ppt Reviewed. + Review Minutes of Previous Meetings http://www.eda.org/sv-bc/minutes/sv-bc_08_01_21.txt Heath moves to accept. Cliff seconds. No opposed. No abstain. Motion passes. + Issues 2008 (http://www.eda.org/svdb/view.php?id=2008) Tom reviewed the latest draft of his proposal: Cliff requested a friendly amendment in 12.4.2.1 Change: "In particular, a unique or priority violation check" To: "In particular, a unique, unique0 or priority violation check" For 12.4.2.2, Steven pointed out that this is inconsistent with general disable behavior and scopes. Matt pointed out that in the second example scheduling evaluation of the disable before the observed region is difficult. Tom is inclined to drop 12.4.2.2. Tom and Cliff are going to work on example in 12.4.2.3. AI: Tom post updated proposal for 2008 for e-mail ballot. Karen pointed out that 1800 WG relaxed schedule pressure for SV-CC so SV-BC has some time to discuss again. SV-BC will do so if e-mail ballot not successful. 2106 (http://www.eda.org/svdb/view.php?id=2106) Shalom moves to accept updated proposal. Cliff seconds. No opposed. No abstain. Motion passes. 2163 (http://www.eda.org/svdb/view.php?id=2163) Shalom moves to accept updated proposal. Dave seconds. No opposed. No abstain. Motion passes. 1772 (http://www.eda.org/svdb/view.php?id=1772) Shalom moves to accept the proposal. Cliff seconds. No opposed. No abstain. Motion passes. 2249 (http://www.eda.org/svdb/view.php?id=2249) Dave moves to accept the proposal. Tom seconds. No opposed. No abstain. Motion passes. 2097 (http://www.eda.org/svdb/view.php?id=2097) Sent back by Champions. Related to 2235. Neil's comments seem to make it permissible to address 2235. If that's the case, then 2097 is viable. Will defer until voting until proposal for 2235 is available. AI: Matt correspond with Neil on permission to address 2235. AI: Gord to update proposal for 2235 pending Neil's approval 2219 (http://www.eda.org/svdb/view.php?id=2219) Merge issue. Clean up of old language. No behavioral changes intended by update. Defer to email vote. AI: Matt add 2219 to e-mail ballot. 1827 (http://www.eda.org/svdb/view.php?id=1827) Proposal uploaded. Shalom moves to accept option 2 in 1827.htm. Gord seconds. No opposed. No abstain. Motion passes. AI: Matt clean up proposal for 1827 to include option 2 only. 1340 (http://www.eda.org/svdb/view.php?id=1340) Shalom moves to accept 1340 and open new Mantis item(s) to address issues raised by Champions. Gord seconds. No opposed. No abstain. Motion passes. AI: Shalom update Mantis with new item(s) raised by resolution of 1340 Matt polled SV-BC regarding availability to meet on Feb 18th. Dave was only member who will not be available. Next meeting will be held Feb 18th. 2269 (http://www.eda.org/svdb/view.php?id=2269) Is there any previous discussion on sign casting that would support sign casting behaving differently than $signed system function. AI: Shalom will follow-up with Greg Jaxon on 2269 AI: Matt request permission from Neil to add language clarifying behavior of sign cast in 6.24.1. 10:57am: Cliff moves to adjourn. 1828 (http://www.eda.org/svdb/view.php?id=1828) Does the SV-BC agree? 1829 (http://www.eda.org/svdb/view.php?id=1829) Minor issue to discuss. 677 (http://www.eda.org/svdb/view.php?id=677) 698 (http://www.eda.org/svdb/view.php?id=698) 2043 (http://www.eda.org/svdb/view.php?id=2043) 966 (http://www.eda.org/svdb/view.php?id=966) 1340 (http://www.eda.org/svdb/view.php?id=1340) 1982 (http://www.eda.org/svdb/view.php?id=1982) JEITA 1826 - Annex B Add keyword list by LRM version - Resolved 1827 - 20.3.1 Update the OS Reference - Resolved 1828 - 9.2.2.3, 9.2.2.4 should/can and mandatory statements- new 1829 - 6.8 usually logic [31:0] would be little endian. - new 1832 - path rule/scope rule is not clearly described here. - Assigned to Gord Ballot Issues 675 - Packed union shall not be restricted to equal length- feedback Apr 15, 2005 - closed with resolution of "no change required". SV-BC resolved with no action Jan 21, 2008. 676 - Add support of unconstraint arrays - feedback Apr 15, 2005 - closed with resolution of "no change required". Reopened for 2008 and now in the feedback state. 678 - Variables shall be allowed for slicing vectors. - feedback Apr 15, 2005 - closed with resolution of "no change required". Reopened for 2008 and now in the feedback state. 697 - file IO tasks and new SV data types - feedback May 10, 2005 - closed with resolution of "won't fix". Reopened for 2008 and now in the feedback state. 677 - unique/priority violation should be errors - assigned (Karen) Apr 15, 2005 - closed with resolution of "no change required". Reopened for 2008 and now in the assigned state. 698 - No Definition of Error and Warning - assigned (Stu) May 10, 2005 - closed with resolution of "won't fix". Reopened for 2008 and now in the feedback state. Action Items Completed 01/21/2008 Doug work with Tom. Need to repeat the mechanism used by deferred assertions or make reference to deferred assertions directly. 01/21/2008 Tom field Shalom's question: Is this an assertion or not. If so, explain how it is like other assertions and and not like other assertions. 01/21/2008 Matt add bug note to 1758, correspond with Neil on how to address. 09/06/2007 Stu to write proposal for SVDB 1826 10/29/2007 Shalom to update SVDB 2097 per feedback. 09/17/2007 Shalom to update proposal for SVDB 1863 Pending 01/09/2006 Shalom file new issure related to SVDB 1254 and include example 03/27/2006 Cliff post examples demonstrating the need for 0-1 wildcard to justify further action on SVDB 99 Other ideas: elsex, defaultx, ifx, alwaysx, initialx, Question: what about X expression in index of Vector or array expressions (a[i] where i === 'X). Cliff to pursue further action. 04/10/2006 Steven to create proposal for SVDB 1386 04/10/2006 Steven to create proposal for SVDB 1078 06/19/2006 Francoise check with SV-CC regariding suitability of data read API to address debugging of "dynamic data" in lieu of vcd extensions. 07/10/2006 Steve add bugnote to 1043 about specifics for resolution 07/31/2006 Steve add bug note to 1481 with details for a clearer proposal 09/25/2006 Matt add SVDB entry to request capability to packages: import/export & non-exported (local) package declarations. 10/23/2006 Matt send example of use of forward typedef. 12/04/2006 Shalom present compelling example of `begin_define -- `end_define 12/18/2006 Cliff open Mantis item about 'predefault' with compelling examples 01/08/2007 Vendors to describe interpretation of a path when there are multiple drivers involved and share test cases on reflector. 03/05/2007 ALL look at SV-AC items and send Matt a note if you require more information to address them. Matt will work with SV-AC to get additional information. 04/26/2007 All: Revisit concept of memory in Draft 3 Affects PLI backward compatibility and readmem system tasks. After some discussion, ambivalence gave way to agreement that arrays and memories as covered in 7.4 need to be revisited for clarification. SVDB 1362 covers this issue. Dave will start working on it. 06/11/2007 Stu reword proposal for SVDB 1111 06/11/2007 Mark attempt to define 'variation' in context of resolving SVDB 1850 06/25/2007 Gord add new SVDB entry and proposal to address expression sizing issues for literals of unspecified widths. 06/25/2007 Steve look into ability to use 1800 types with old-style port decls 08/06/2007 Steven to record concerns about issues related to issue 1935. 10/01/2007 Shalom to update SVDB 1747 based on feedback. 10/29/2007 Steven to work on new proposal for SVDB 1750 12/03/2007 Review editorial issues submitted by Shalom 02/04/2008 Tom post updated proposal for 2008 for e-mail ballot. 02/04/2008 Matt correspond with Neil on permission to address 2235. 02/04/2008 Gord to update proposal for 2235 pending Neil's approval 02/04/2008 Matt add 2219 to e-mail ballot. 02/04/2008 Shalom update Mantis with new item(s) raised by resolution of 1340 02/04/2008 Shalom will follow-up with Greg Jaxon on 2269 02/04/2008 Matt request permission from Neil to add language clarifying behavior of sign cast in 6.24.1. 02/04/2008 Matt clean up proposal for 1827 to include option 2 only. Schedule Reminder 02/28/08 SV-AC freezes (merge, champions issues, new syntax response ok) 03/31/08 SV-CC freeze. All activity freezes. 05/29/08 Draft 5 of LRM available