SV-EC Committee Meeting. Thursday April 16 2007 11:00am - 1:00pm PST [Minutes distributed for review, to be approved at next meeting] (121202020102020101) Day (481593604882505956) (000011111100000000) Month (889900112211223344) (000000000000000000) Year (666666666677777777) --------- Attendees ---------- (-AAAAAAAAAAAAAAAAA) Arturo Salz (--AAA-AAAAAAA-AAAA) Cliff Cummings (AAAAAAA-AAAAAAAAAA) Dave Rich (AA-A-AAA-AAAAAAA--) Francoise Martinolle (-AAAAAAAAAAAAAAAAA) Mehdi Mohtashemi (AAAAAAAAAAAAAAAAAA) Neil Korpusik (AAAAAAAAAA-AAAAAAA) Ray Ryan (AAAAAAAAAAAA-AAA--) Gordon Vreugdenhil (AAAAAA--AAAAA-A--A) Steven Sharp (--AAAA-A----------) Phil Moorby (---AA-AAA-AAAA-AA-) Doug Warmke (AAAAAAA---AA-A-AAA) Stu Sutherland (-AAAA--AAAA-A-AAAA) Heath Chambers (-AAAAAA-A----AAAaA) Don Mills (--AA--A---A-AAA--A) Jonathan Bromley (--A---------------) Logie Ramachandran (----AAAA---A------) Melvin Cardoza (-----A-AAAAAA-AAAA) Mark Hartoog (-------A----------) Satia (from Intel) (--------AAA-------) Rob Slater (Freescale) (-------------A----) Alex Gram (Mentor) (---------------A-A) Michael Mintz ^ |------- non-voting meeting ** Minutes taken by Neil Korpusik and Mehdi Mohtashemi ////////////////// April 16, 2007 ///////////////////////// Agenda: 1. IEEE patent policy ---------------------- ref: http://standards.ieee.org/board/pat/pat-slideset.ppt Move: Mark - Assume that the patent policy was read Second: Steven Abstain: none Opposed: none passed 2. Review meeting minutes/Notes: --------------------------------------------------- Two previous meeting minutes: http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_March_19_2007_Minutes.txt http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_March_5_2007_Minutes.txt Move: Heath- Approve both minutes Second: Cliff Abstain: none Opposed: none passed http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_February_20_2007_Minutes.txt Move: Stu- Approve minutes Second: Cliff Abstain: Heath, Mark (were not there at the meeting) Opposed: none passed 3. Discussion on Merged LRM 1800-2008 Draft2 ------------------------------------------------------------------------- - p1800 will have a meeting in the week to consider committee inputs on the merged LRM Draft 2. champion meeting: 9 to 9:30 am Tuesday April 17th. P1800 meeting April 24th 2007. Mehdi - there wasn't very much email on the review process Heath - chapter 4 Neil - chapter 15, 18 were reviewed, they both look good. Stu - intent of intermediate merged draft was to answer the following Going in the right direction? Moved the text that needed to be moved? Are the clauses in the proper order? Draft 3 will be the first "real" merged draft. Cliff - Stu added some bridging comments in blue text. The bc disagreed with some of these additions. Stu - each chapter reviewer will give a list of what they want changed by the next draft. Won't use the mantis process. Cliff - didn't finish his review yet. Stu - bc wants it to be clearly labeled as a working draft. Cliff - bc also wants Stu's comments left in the margins Neil - ec wants 890 in draft 3 Stu - also any editor goofs will be made in draft 3 8 classes - Arturo not reviewed 9 - Cliff not reviewed 11 - 15 - Neil - Yes 17 - Ray - Yes 18 - Neil - Yes 23 - 24 - 39 - Annex G - Annex H - Annex N - Mark - no Move: Cliff - svec encourages the continued use of the merged document Second: Heath Abstain: Opposed: Steven - there are higher priority items to deal with than deal with items created by the merge. Prefers to keep two separate documents. There are more urgent problems. Makes sense in the long term. He didn't get a chance to vote no in svbc - arrived late. passed (with one opposed) Summary of those voting: 10 yes, 1 No arturo, cliff, dave, neil, ray, stu, heath, don, mark, jonathan - yes steven - no 4. Latest discussions on mantis item 890 ----------------------------------------- - Mantis 890 proposals were voted on last meeting and approved for inclusion in the latest draft2 of merged LRM. Cliff - 15.12 point about cb updates occurring in observed region. "This event shall be triggered in the Observed region." Would like text in scheduling delay section(15.10) to mention it Jonathan - there is one corner case where a ##1 will not advance to the next cycle. Cliff - found this in a reset at time 0 when using a cb in a module. Dave - the processes will wake up in the region they are suspended in. Arturo - the statement is still correct. (shall trigger in Observed) - not sure if ##1 and triggering of the event are related. always @cb // from example Jonathan - ##0 would have worked, to ensure aligned with an event. a ##1 after this, would do what you want. This fixes it. Agrees that clarification would be useful. AI/Cliff - will open a new mantis to update 15.10 (to be filed against draft 3) Dave - unspecified when don't specify all bits in a synchronous drive e.g. 16 bit vector - if only assign a subset of bits, Are other bits driven? (yes they should) Just keep driving what they were driving before. A mantis will be filed to clarify this. Arturo - there is storage for both Dave - explicitly stated for a wire, doesn't explicitly say that other bits are driven. - what if not driven and no procedural assign in that cycle? Arturo - the output would stay at the previously driven value. Jonathan - what if there is a procedural assign to it, instead of cb drive There is explicit text covering this already in 890. Cliff - If at time 0 and only drive a subset, Jonathan - get x's on other bits AI/Dave - file a mantis on this clarification. Arturo - went over the svcc issues - one open issue - do we need loopback from Post_Observed? AI/Cliff - will respond to Francoise (svcc issues) - svcc can file a new mantis on draft 3 if they want. 5. Additional mantis items ------------------------------------- The following items have proposals. 1371 03-09-06 Semantic of program block $exit (DaveR) -- Clarification Dave: has done the corrections. 1384 03-14-06 bit stream cast and pack/unpack for protected./local members (DaveR,Neil) 1500 06-07-06 Forward typedef of a class is only to declare instances of that type (Dave) 1556 08-06-06 in-line static variable initialization - require keyword static? (shalom) 1580 09-04-06 Access to interface objects via virtual interface (Dave) 1707 01-09-07 streaming operator should specify which direction slices are taken from (DaveR) 1427 04-14-06 dynamic_array_new (Brad) 1608 10-06-06 equality, inequality and conditional operator rules for class handles 1594 09-15-06 conditional operator for class handles incorrect (Francoise) 1609 10-23-06 import statements should not be allowed in class scopes Gordon 1612 10-08-06 Timeunits decls don't make sense in class decls (BNF) Brad 1655 10-30-06 Coverage Calculation Corner Case Crumminess (Doug) 1680 11-16-06 "literal string" should be "string literal" (shalom) 1723 01-24-07 Size method for associative arrays 1732 02-08-07 Covergroup decl missing input qualifier (18.4) (arturo) 1736 02-14-07 Example in 12.4.2 has dynamic array packed. (daver) 1715 01-16-07 Triggered property of a clocking block (Arturo - Jonathan) 1777 04-16-07 Clarification of 1800-2005 section 18.4.1 Neil - suggested an email vote. email votes for 1/2 and 1/2. during the next two weeks. AI/Mehdi - will start an email vote on all 17. He will check to see which ones make sense. Mehdi - Steven doesn't have voting rights in today's meeting. Clarification NOTE: Steven does not have the voting privileges, at the end of the meeting we found this out, missed last 2 meetings. it is 2 of last 3 meetings to give voting riths. this is ieee rule. Accelera was 2/3 of all prvious meetings. Neil - any input on which ones to vote on? Dave - those marked "immediate" should be voted on. Heath - could possibly do one set over first, and second over the other week. - There was general consensus to do two email votes, each being one week in duration. 6. Discussion: mantis items with no proposal -------------------------------------------------- 7. Next meeting: -------------------------------- Monday April 30 2007 11:00-1:00pm ========== ADDITION TO the minutes, not part of regular ========= ========== meeting discussions, informational purposes ========= ========== Action Items updated based on April 5 2007 ==== Action items: April 16 2007 ------------------------- AI related to 890: AI:Cliff - will open a new mantis to update 15.10 (to be filed against draft 3) Dave - unspecified when don't specify all bits in a synchronous drive e.g. 16 bit vector - if only assign a subset of bits, Are other bits driven? (yes they should) Just keep driving what they were driving before. A mantis will be filed to clarify this. Arturo - there is storage for both Dave - explicitly stated for a wire, doesn't explicitly say that other bits are driven. - what if not driven and no procedural assign in that cycle? Arturo - the output would stay at the previously driven value. Jonathan - what if there is a procedural assign to it, instead of cb drive There is explicit text covering this already in 890. Cliff - If at time 0 and only drive a subset, Jonathan - get x's on other bits AI:Dave - file a mantis on synchronous drive when all bits are not specified clarification. AI:Cliff - will respond to Francoise (svcc issues) AI: email vote: Mehdi set up two back to back email votes for the above listed mantis items.