Minutes of the January 9, 2006 SV-BC Errata Committee Meeting 000 Day 957 011 Month 121 000 Year 655 aaa Matt Maidment - Intel aaa Brad Pierce - Synopsys aaa Shalom Bresticker - Intel aaa Cliff Cummings - Sunburst Design -aa Surrendra Dudani - Synopsys aaa Mark Hartoog - Synopsys aaa Dan Jacobi - Intel a-a Francoise Martinolle - Cadence aaa Karen Pieper - Synopsys aaa Dave Rich - Mentor Graphics aaa Steven Sharp - Cadence aaa Gordon Vreugdenhil - Mentor Graphics aaa Doug Warmke - Mentor Graphics aa- Don Mills - LCDM Engineering aa- Stu Sutherland - Sutherland HDL -a- Bill Paulsen - Cadence -a- Rishiyur Nikhil - Bluespec a-- Chris Spear - Synopsys a-- Logie Ramachandran - Synopsys Agenda + Review IEEE patent policy http://standards.ieee.org/board/pat/pat-slideset.ppt Policy reviewed. + Review Minutes of Previous Meeting http://www.eda.org/sv-bc/minutes/sv-bc_05_12_05.txt Brad moves to accept the minutes. Gord seconds No opposed No abstain Motion passes + 1364 Issue Transfer All issues now transferred or dispositioned: http://www.eda.org/sv-bc/1364IssueList.html http://www.boyd.com/1364_btf/report/full_pr/631.html Addressed by generate rewrite 1364-2005 AI: Doug Update 631 in SVDB before vote. http://www.boyd.com/1364_btf/report/full_pr/624.html BTF-463(SVDB-1004) and BTF-506(SVDB-1072). AI: Doug transfer 624 to one of the associated SVDB issues (1004, 1072) and reference each issue to the other. 654 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001253 AI: Doug update proposal for 1253 to include a statement about polarity_operator not affecting simulation behavior 655 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001254 Doug moves to accept proposal for 1254 Shalom seconds No opposed No abstain Motion passes AI: Shalom add example for 1254 describing situation for rule 3 661 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001259 Doug moves to accept proposal Brad seconds No opposed No abstain Motion passes 664 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001262 Doug moves to accept proposal with friendly amendment to strike "(1,0)" Brad seconds No oppposed No abstain Motion passes AI: Doug to update proposal for 664 per friendly amendment 621 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001246 P1800 29.3 defines semantics for comments. Should be done with attributes. Issue needs to be reopened by SV-CC Brad moves that this is resolved Steven seconds. No opposed. No abstain. Motion passes. AI: Steven add wording to SVDB 1246 that identifies why this is not an issue noting that the BNF allows only expressions as macro argmuments. ETF 287: This is Mantis 687, and is already closed. No action needed. ETF 613: This is Mantis 704, and is already closed. AI: Dave Add bug note to SVDB 704 that this was ETF 613 ETF 465: As shown there, it was dealt with by ETF 483, which was done. No action taken. Already covered and made it into 1364-2005. ETF 486 -> SVDB 1275. In ETF Passed state, needs to be passed by P1800 WG. Steven moves to accept proposal in SVDB 1275 Mark seconds No opposed No abstain Motion passes ETF 619 -> SVDB 1276. Same comment as ETF 486. Brad moves to accept proposal in SVDB 1276 Steven seconds No opposed No abstain Motion passes ETF 645 -> SVDB 1277. Same comment as ETF 486. Steven moves to accept Gord seconds No opposed No abstain Motion passes ETF 646 -> SVDB 1278. Same comment as ETF 486. This should wait until merge of 1364 & 1800 Needs a detailed proposal. AI: Matt update SVDB 1278 that it should wait until merge of 1364 & 1800 404 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001191 Dave moves to resolve this issue as addressed by the addition of asymmetric Wild equality and wild inequality in P1800. Brad seconds No opposed No abstain Motion passes 391 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001188 This is not resolved. Proposal for 1364 is not in P1800. AI: Gord remove Bugnote for SVDB 1188 388 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001186 Enhancement. No action to be taken at this time. 358 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001177 Dave moves to resolve as already in 1364 Brad seconds No opposed No abstain Motion Passes 359 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001178 Brad moves to transfer this issue to SV-EC for review Mark seconds No opposed No abstain Motion passes AI: Matt notify SV-EC/Mehdi that SVDB1178 should be resolved by SV-EC 357 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001176 2-state and reals on nets not addressed in P1800. This should remain. Did not review: Per Doug, issue requiring committee input prior to writing proposal: http://www.eda.org/svdb/bug_view_page.php?bug_id=0001255 Proposals for the following uploaded by Brad http://www.eda.org/svdb/bug_view_page.php?bug_id=0000961 http://www.eda.org/svdb/bug_view_page.php?bug_id=0000962 + Process for upcoming meetings Numerous issues in 1364 & SV-BC categories. Would like to identify subset as a more achievable goal. Other issues can be addressed if committee approves but would like to focus primarily on a subset that the committee deems appropriate. Steps in process: Identify -=N=- issues to focus committee effort Identify owners for the issues Owners bring issues to vote when draft of proposal complete Rebuttal to issues should come in the form of specific changes to proposal First-cut of list to open discussion: 1364 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001010 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001020 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001135 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001232 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001247 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001251 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001254 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001257 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001260 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001261 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001282 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001290 SV-BC http://www.eda.org/svdb/bug_view_page.php?bug_id=0000030 http://www.eda.org/svdb/bug_view_page.php?bug_id=0000286 http://www.eda.org/svdb/bug_view_page.php?bug_id=0000287 http://www.eda.org/svdb/bug_view_page.php?bug_id=0000898 http://www.eda.org/svdb/bug_view_page.php?bug_id=0000515 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001212 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001213 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001214 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001215 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001216 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001268 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001271 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001280 Feedback: Addressing issues that complicate merging of the LRMs would make merge challenging or require edits to both specs. Group would prefer to address more isolated errata until next PAR is set. Try to clarify intent of some issues even if no formal resolution. This would be useful for keeping implementations consistent. AI: All send suggestions for issues to be addressed in first goal. AI: Matt assemble issue list for future work AI: Matt find owners for issues + Next Meeting Date: Feb 6th + Meeting ajourned 11:02AM Action Items Completed 11/07/2005 All Enter 1364 issues into SVDB 11/07/2005 All ID 1364 issues potentially solved by P1800 12/05/2005 Matt Update 1364 Issue List with Karen's SVDB Issues (1101-1019) 12/05/2005 Cliff Enter assigned 1364 issues in SVDB 12/05/2005 Brad Enter assigned 1364 issues in SVDB 12/05/2005 Mark Enter assigned 1364 issues in SVDB 12/05/2005 Doug Enter assigned 1364 issues in SVDB 12/05/2005 Dan Enter Francoise's assigned 1364 issues in SVDB 12/05/2005 Matt E-mail karen when voting rules updated 11/07/2005 Brad Open 1364 issue for the misspelling of "discssion" in SVDB 799 (SVDB 962) 11/07/2005 Brad Open new erratum with Steven's comments on June 2 (SVDB667) (SVDB 961) Pending 11/07/2005 Matt Send email Vote for: http://www.eda.org/svdb/bug_view_page.php?bug_id=871 http://www.eda.org/svdb/bug_view_page.php?bug_id=881 http://www.eda.org/svdb/bug_view_page.php?bug_id=882 http://www.eda.org/svdb/bug_view_page.php?bug_id=908 http://www.eda.org/svdb/bug_view_page.php?bug_id=911 http://www.eda.org/svdb/bug_view_page.php?bug_id=912 http://www.eda.org/svdb/bug_view_page.php?bug_id=919 http://www.eda.org/svdb/bug_view_page.php?bug_id=932 http://www.eda.org/svdb/bug_view_page.php?bug_id=941 http://www.eda.org/svdb/bug_view_page.php?bug_id=942 http://www.eda.org/svdb/bug_view_page.php?bug_id=944 http://www.eda.org/svdb/bug_view_page.php?bug_id=945 http://www.eda.org/svdb/bug_view_page.php?bug_id=946 http://www.eda.org/svdb/bug_view_page.php?bug_id=949 http://www.eda.org/svdb/bug_view_page.php?bug_id=952 http://www.eda.org/svdb/bug_view_page.php?bug_id=984 http://www.eda.org/svdb/bug_view_page.php?bug_id=1092 http://www.eda.org/svdb/bug_view_page.php?bug_id=1138 http://www.eda.org/svdb/bug_view_page.php?bug_id=1159 12/05/2005 Steven Ask Jay if issue 1127 is resolved in P1800? 01/09/2006 Doug Update 631 in SVDB before vote. 01/09/2006 Doug transfer 624 to one of the associated SVDB issues (1004, 1072) and reference each issue to the other. 01/09/2006 Doug update proposal for 1253 to include a statement about polarity_operator not affecting simulation behavior 01/09/2006 Shalom add example for 1254 describing situation for rule 3 01/09/2006 Doug to update proposal for 664 per friendly amendment 01/09/2006 Steven add wording to SVDB 1246 that identifies why this is not an issue noting that the BNF allows only expressions as macro argmuments. 01/09/2006 Dave Add bug note to SVDB 704 that this was ETF 613 01/09/2006 Matt update SVDB 1278 that it should wait until merge of 1364 & 1800 01/09/2006 Gord remove Bugnote for SVDB 1188 01/09/2006 Matt notify SV-EC/Mehdi that SVDB 1178 should be resolved by SV-EC 01/09/2006 Matt assemble issue list for future work 01/09/2006 Matt find owners for future work issues