SV-EC Committee Meeting Monday April 30 2007 11:00am - 1:00pm PST (1212020201020201013) Day (4815936048825059560) (0000111111000000000) Month (8899001122112233444) (0000000000000000000) Year (6666666666777777777) --------- Attendees ---------- (-AAAAAAAAAAAAAAAAA-) Arturo Salz -- was traveling (--AAA-AAAAAAA-AAAAA) Cliff Cummings (AAAAAAA-AAAAAAAAAAA) Dave Rich (AA-A-AAA-AAAAAAA---) Francoise Martinolle -- svcc f2f (-AAAAAAAAAAAAAAAAAA) Mehdi Mohtashemi (AAAAAAAAAAAAAAAAAAA) Neil Korpusik (AAAAAAAAAA-AAAAAAAA) Ray Ryan (AAAAAAAAAAAA-AAA---) Gordon Vreugdenhil -- svcc f2f (AAAAAA--AAAAA-A--AA) Steven Sharp (--AAAA-A-----------) Phil Moorby (---AA-AAA-AAAA-AA-A) Doug Warmke (AAAAAAA---AA-A-AAAA) Stu Sutherland (-AAAA--AAAA-A-AAAAA) Heath Chambers (-AAAAAA-A----AAAAAA) Don Mills (--AA--A---A-AAA--A-) Jonathan Bromley (--A----------------) Logi (----AAA------------) Melvin - Synopsys R&D (-----A-AAAAAA-AAAAA) Mark Hartoog (-------A-----------) Satia (--------AAA--------) Rob Slater (-------------A-----) Alex Gran - Mentor (---------------A-AA) Mike Mintz - Truster.com - East Coast (------------------A) Geoffrey Coram - analog devices ** Minutes taken by Neil Korpusik and Mehdi Mohtashemi ////////////////// Apr 30, 2007 ///////////////////////// 1. IEEE patent policy ------------------ ref: http://standards.ieee.org/board/pat/pat-slideset.ppt Cliff - new one will be up by end of today Move: Cliff - Assume that the patent policy was read Second: Steven Abstain: none Opposed: none passed 2. Review meeting minutes/Notes: ---------------------------- http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_April_05_2007_Minutes.txt http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_April_16_2007_Minutes.txt 3. P1800 latest meetings April 17th, The Champions approved mantis 890 One abstain (Shalom). Shalom did a partial review and noticed a couple of minor issues. He also commented on the fact that there were still some emails going around (e.g. from svcc and Cliff's word-smithing). April 24th, The P1800 passed mantis 890 unanimously There was unanimous approval to move ahead with the merged LRM. Voting rights - to be reevaluated - Neil will be making a proposal. Cliff - from today's svbc - thought 2/3 would be best Stu - wants the 2/3 to start from the start of the current par Dave - was thinking 3/4 would be best 4. Discussion on Merged LRM 1800-2008 Draft2 Mehdi - svbc voted on individual items Dave - need to start with draft 3, draft 2 was proof of concept Stu - the end of this week draft 3 will be available - clause numbering will be updated in portions of draft 3 - will need to send a list of any svec editorial changes for d3 - check for any mantis not correctly implemented in draft 1 - mantis 890 was an exception (it has been incorporated) - draft 3 is just editorial changes for merge Jonathan - how deal with draft 3 Dave - a new field will be added to mantis, specifies which draft the mantis item applies to. - need to re-open those that aren't against draft 3. Check those that already have proposals to ensure they are valid for draft 3. Mehdi - draft 3 - need to finish up the fine-grained review. Stu - any problems with draft 3 need to be done through mantis items AI/Mehdi - send Stu a list of editorial problems to address in draft 3 5. Review mantis items from email votes and others ----------------------------------------- Cliff - didn't finish his review yet. Mehdi - how do we deal with abstain? Neil - abstain is the same as not voting (Dave also agreed) 1371 Semantic of program block $exit (DaveR) -- Clarification Dave - new proposal was uploaded on 4/25 Doug - need to merge this with 890 Doug - added gates(ie primitives) somewhere - after always constructs, add (primitives) Steven - all initial blocks need to exit - what if no initial blocks in program blocks? Neil - the line struck out is different from what was added. - there is a backward compatibility issue because of this change Steven - could add $exit after end of initial blocks Jonathan - what about coverage collection? - coverage group treated like something else spawned? Dave - vmm, rvm have explicit shut-down mechanisms. - wants users to explicitly end program sub-processes Steven - prefers to not change the behavior unless there is a good reason. It was decided to keep this mantis item open for now. 1384 bit stream cast and pack/unpack for protected./local members (DaveR,Neil) Dave - class on left-hand side Cliff - Arturo voted no in the email vote Arturo wasn't on the call so we moved to the next item. 1427 dynamic_array_new (Brad) Neil - unsigned issue, same problem as with coverage weight being unsigned Jonathan - there seems to be a lot of places where we have this problem. Friendly amendment. The type of this operand is longint. It shall be an error for the value of this operand to be negative. Ray - could there be a truncation issue? - what happens when type conversions take place here? Jonathan - any time assign a size you have this issue. Move: Doug - move to pass 1427 with the friendly amendment Second: Neil Abstain: Opposed: Passed unanimously AI/Mehdi - update the proposal with the friendly amendment. 1655 Coverage Calculation Corner Case Crumminess (Doug) Doug - added an example to the latest proposal Cliff - now ok with it. Doug - 1271 (was approved and incorporated) Neil - unsigned quantity - not shown as unsigned in data structure Doug - this is the only way to flag assigning negative values Move: Doug - move version 3 Second: Ray Abstain: Opposed: Passed unanimously 1732 Covergroup decl missing input qualifier (18.4) (arturo) Neil - duplicate of 1236 Move: Neil - move to close as a duplicate Second: Don Abstain: Opposed: Passed unanimously 1777 - description of nonconsecutive repetition operators needs to be clarified Don - updated the proposal Jonathan - the original text below the example has a couple of mistakes. b2 6th-->8th, and one other problem. b3 7th-->6th likewise b2 10th b9 was listed, but there is no b9 Move: - Don - approve mantis 1777 - 1800 18-4-1 update proposal b.html Second: Cliff Abstain: Opposed: Passed unanimously 1671 - duplicate of 1655 Move: Doug - close 1671 as a duplicate of 1655 Second: Don Abstain: Opposed: Passed unanimously 1787 LRM needs to discuss transition bins of length 1 - Doug Dave - change to "shall be illegal" Move: Doug - approve 1787, with the friendly amendment Second: Neil Abstain: Opposed: 1789 - Clarification of string behavior - Geoffrey Coram Cliff - question on \0 in a string literal. Agreed to keep it for next time. 6. Mantis items with no proposals 7. Next meetings -------------------------------------- May 14 Monday