SV-EC Committee Meeting. Monday March 19 2007 11:00am - 1:00pm PST [Minutes distributed for review, to be approved at next meeting] (1212020201020201) Day (4815936048825059) (0000111111000000) Month (8899001122112233) (0000000000000000) Year (6666666666777777) --------- Attendees ---------- (-AAAAAAAAAAAAAAA) Arturo Salz (--AAA-AAAAAAA-AA) Cliff Cummings (AAAAAAA-AAAAAAAA) Dave Rich (AA-A-AAA-AAAAAAA) Francoise Martinolle (-AAAAAAAAAAAAAAA) Mehdi Mohtashemi (AAAAAAAAAAAAAAAA) Neil Korpusik (AAAAAAAAAA-AAAAA) Ray Ryan (AAAAAAAAAAAA-AAA) Gordon Vreugdenhil (AAAAAA--AAAAA-A-) Steven Sharp (--AAAA-A--------) Phil Moorby (---AA-AAA-AAAA-A) Doug Warmke (AAAAAAA---AA-A-A) Stu Sutherland (-AAAA--AAAA-A-AA) Heath Chambers (-AAAAAA-A----AAA) Don Mills (--AA--A---A-AAA-) Jonathan Bromley (--A-------------) Logie Ramachandran (----AAAA---A----) Melvin Cardoza (-----A-AAAAAA-AA) Mark Hartoog (-------A--------) Satia (from Intel) (--------AAA-----) Rob Slater (Freescale) (-------------A--) Alex Gram (Mentor) (---------------A) Michael Mintz ^ |------- non-voting meeting ** Minutes taken by Neil Korpusik and Mehdi Mohtashemi ////////////////// March 19, 2007 ///////////////////////// Agenda: 1. IEEE patent policy ref: http://standards.ieee.org/board/pat/pat-slideset.ppt Move: Cliff- Assume that the patent policy was read Second: Heath Abstain: none Opposed: none passed 2. Review meeting minutes/Notes: --------------------------------------------------- 3. Don Mill's question on repetition operator. (email of March 14th) ---------------------------------------------- Don: coverage point repetition operator. and assertion assertion and coverage chapters 17, 18th Are they the same? can we clarify them 18.1.1 transitions, repetition operator, then goto operator, do not name it that - 18.4.1 [=n] and [->n] Neil: they are the same Arturo - they were intended to be the same. Neil - the next step would be to open a mantis for clarification and to provide a proposal. Don: at least the naming be consistent between the two, coverage and assertion, that would be much better. AI: Don - create a new mantis item for this. 4. New draft: p1800-2800-draft2 --------------------------------- Stu: new draft is available. The clauses of overlap the merge is almost 90% complete. Cut and paste of old LRM, but not edited, so cross-reference is broken, where there is no overlap. The goal of the draft: preliminary draft to make sure the merge is on track, organization is ok to everyone, no major/important topic has been dropped. svbc has suggested moving a couple of clauses Cliff - Mantis 890 should be added to the merged document Stu - some of 1364 came into the scheduling semantics proposal - svec should review the merge when reviewing 890 - wants 890 in the April draft Dave - IEEE version for merged LRM (no additional mantis?) Gord - even if approved, won't be in this IEEE version. Stu - some were reopened due to edit issues, those will most likely get in. 890 would be an exception to this.... Stu - draft 3 will be available for purchase from IEEE. Francoise - must include 890 for draft 3 - otherwise it would be confusing NOTE: Overall breakdown of each sections done by sv-bc as follows: Clauses: 1(BC),2(BC),3(BC),4(EC),5(BC),6(BC),7(EC/BC),8(EC),9(BC/EC),10(BC), 11(BC),12(BC),13(BC),14-15(EC),16(AC),17-18(EC),19(All),20,21,22(All), 23(EC),24(BC/EC),25(BC),26-33(BC),34-37(CC),38(CC-AC),39(EC),40(CC) Annex: A(All), B(All), C(BC/CC), D(BC), E(BC), F(AC), G(EC), H(EC),I(CC),J(CC) K(CC), L(CC), M(CC), N(BC/EC), O(BC), P(All), Q(All), R(All) Here is the list of all sections with assigned reviewers: Clauses: 1(BC) 2(BC) 3(BC, EC) 1 paragraph on each ; bc wants all in bc to review 4(EC) Cliff, all EC (scheduling semantics) a few 1364 clauses are near the end 4.5,4.6,4.7,4.8 [Cliff, Heath] Stu - could send out an intermediate version of the clause. - assumes it would take 2 working days to add mantis 890 Gord - cb changes are important, but scheduling change do need to go in 5(BC) 6(BC) 7(EC/BC) - Mark, Dave 8(EC) - Gord, Arturo, Francoise 9(BC/EC) - Gord, Cliff 10(BC) 11(BC) - Dave - wrote a lot of that section 11.8 originally came from the svec 12(BC) 13(BC) 14(EC) - Doug Stu - simply cut from p1800 and dropped it in. Need to take out references to verilog. 15(EC) - Gord, Neil, Arturo stu - there was some merging here; could create an intermediate draft - wait for the intermediate draft? make sure stu has put the right stuff in this section. Gord - some of this could possibly go into other sections. 16(AC) 17(EC) constraints - Ray, Francoise (Cadence) Stu - was just a cut and place. some changes are needed. - BNF excerpts are no longer in boxes. 18(EC) - functional coverage - Ray, Neil Stu - was just a cut and paste, requires more edits. - in right place, other stuff needed in there? (for now) 19(All) - system tasks Stu - some of these are back references 20(ALL) - will become IO 21(ALL) - compiler directives 22(All) - modules and hierarchy stu - had some trouble here... tough to merge the two LRMs 23(EC) program block - Doug, Mehdi stu - straight merge 24(BC/EC) - interfaces - Francoise (from bc) - virtual - svec - Dave 25(BC) 26-33(BC) 34(CC) DPI 35(CC) PLI, VPI 36(CC) VPI 37(CC) VPI 38(CC-AC) 39(EC) - code coverage Should be SV-CC, SV-EC should have a look [cut and paste] 40(CC) Annex: A(All) bnf - Brad B(All) keywords C(BC/CC) - deprecated D(BC) - system tasks, functions E(BC) F(AC) assertions G(EC) std package - H(EC) linked list - Gord - should really be a package. No mantis yet. I(CC) DPI J(CC) svdpi.h K(CC) foreign language L(CC) vpi_user.h M(CC) sv_vpi_user.h N(BC/EC) - algorithm for probability distribution function. - c code - Mark O(BC) encryption P(All) glossary Q(All) bibliography R(All) mapping Stu - people should ensure that everything in the right places - pasted 1364 into p1800 (anything missing?) - no mantis items please - a work in progress. Next draft will be the actual baseline draft. - file mantis against current p1800? if an organization issue ( bc wants to create mantis items) with initial goal of whether merged in right place or if something is missing. - make it clear if against this intermediate draft. - don't bother with cross references for this draft. Reviews due 4/15 by April 16th BC will be voting on their sections - vote to continue 5. Review and discussion on Mantis 890 and related mantis items ------------------------------------------------------------------------- 890 08-31-06 clarifications in program and clocking blocks (Doug) Cliff - sent an update after the 03/05 meeting - Neil posted that on mantis. - The paragraph on Pre-observed region was updated. Gord - it looks correct Francoise - future events , it doesn't say where in future time. Cliff - only one place where future is mentioned. part 2 - not sure if this is where it should be placed Stu - ok if there is a separate mantis item for this. AI: Francoise - open a new mantis item for this. Doug - one item from 549 - not covered - Cadence issue. Neil - sent feedback by email Gord, Neil - ok with wording change that was suggested by Jonathan (email) AI: Doug - post a new version of 890 that we can vote on. AI: Mehdi - set up an email vote for 890. 551 - Program block interaction with queues (Sharp) Steven - asked for us to leave it open for now. Committee voted to allow Steven to close 551, if no concerns from Cadence (at the March 5th meeting). AI: Steven - provide feedback on 551 by next meeting. 1715 - Triggered property of a clocking block (Arturo - Jonathan) Agreed to leave mantis 1715 open for now. 03/05/07 1681 [svac] - global clock 03/05/07 - request more input from svac on the intent. Jonathan sent email to svac. Dmitry responded. 6. Next meeting: -------------------------------- Apr 05 Thursday 11-1 (week of April 2nd is SNUG San Jose week) ========== ADDITION TO the minutes, not part of regular ========= ========== meeting discussions, informational purposes ========= ========== Action Items updated based on March 19 2007 ==== Action items: March 19 2007 ------------------------- AI: Don - create a new mantis item for coverage point repetition operator and assertion. for clarification and to provide a proposal. AI: Merged LRM draft Each clause has a main/alternate reviewer assigned. However all members are encouraged to review the merged draft. AI: 890 and related items: AI: Francoise: open a mantis item for 'future time, in part 2'. AI: Doug: Post a new version of 890 which we can vote on AI: Mehdi: Set up an email vote for 890 AI: Mantis 551 : Steven: provide feedback on 551 by next week