Hi Folks: My notes from today's SV-AC meeting are attached. Please let me know if corrections are required. J.H. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. Minutes of IEEE P1800 SV-AC meeting #2007-23 Written by: John Havlicek Date: 2007-10-09 Time: 16:00 UTC (11:00 CDT) Dialin information: ------------------- Country Number AUSTRALIA 1800009128 AUSTRIA 0800291873 BELGIUM 080077334 CANADA 8008671147 CHINA TELECOM (CT) 108001400732 CHINA NETCOM (CNC) 108007140759 DENMARK 80703159 FINLAND 0800770233 FRANCE 0800941695 GERMANY 08001014519 GREECE 0080016122039738 HONG KONG 800933578 HUNGARY 0680017180 INDIA 0008001006032 INDONESIA 008800105607 IRELAND 1800944116 ISRAEL 1809459738 ITALY 800782388 JAPAN 00531160427 LUXEMBOURG 80023985 MALAYSIA 1800808386 MONACO 80093186 NETHERLANDS 08002658223 NEW ZEALAND 0800443736 NORWAY 80057409 POLAND 008001114672 PORTUGAL 800819106 RUSSIA 81080022801012 SINGAPORE 8001011470 SOUTH AFRICA 0800992835 SOUTH KOREA 00308140540 SPAIN 900967020 SWEDEN 0201400559 SWITZERLAND 0800563054 TAIWAN 00801126585 THAILAND 0018001562039684 UNITED KINGDOM 08005280546 UNITED STATES 8008671147 Access Code: 7375405 Attendance Record: ------------------ Legend: x = attended - = missed r = represented . = not yet a member v = valid voter (2 out of last 3 or 3/4 overall) n = not a valid voter t = chair eligible to vote only to make or break a tie New PAR, attendance re-initialized on 2006-08-22: vv[xxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) vv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[----------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[xxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) nn[------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) nn[----------x--xxx.....................] Joseph Lu (Altera) vv[xxxxxxx..............................] Johan Martensson (Jasper) nn[---------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[x-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) nn[--x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[xxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------ attendance on 2007-10-09 |-------------------------------------- voting eligibility on 2007-10-09 |--------------------------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - Review new schedule from P1800 WG. - 1682: Future value functions [DK] . ? Ready for vote. - Votes on minor changes to recently approved proposals, possbly by voice: . 1466: Aligned to Draft4, confirmed that all feedback has been addressed or withdrawn. . 1668: Aligned a few Annex F changes with 1549, fixed typo (unclocked --> clocked for U grammar), changed itemize symbols from bullets to dashes. Aligned with Draft4. . 1722: Aligned to Draft4, confirmed that all friendly amendments have been addressed. What about the comments from Shalom regarding hierarchical references? - How to limit scope? General working items: - 1757: accept_on, reject_on [EC] - 1756: Control of assertions in initial blocks [EC] - 1900: Checkers [ES] - 1758: Boolean operators ->, <-> [EC] - 1549: Argument passing [DB, LP, JH] - 1932: LTL operators [DK, DB] - 2005: Glitches with immediate assertions [ES] - 1995: Assertions and checkers in for loops [ES] - 1758 concern from Shalom Bresticker regarding description of operator precedence. Feedback from the champions. . Next steps for 1601 . Next steps for 1648 . Next steps for 1729 Notes: ------ - Reminder of IEEE patent policy. - Review new schedule from P1800 WG. - Draft 4 Review . 1674. . JH: will enter a mantis item to fix 1674 in case 1648 does not pass. This needs to be on our 2007-11-12 list. - 1682: Future value functions [DK] . JH needs to send the final ballot results. Also include the friendly amendments. . DK has revised the proposal. . TT will send a mail with the results of his review. - Votes on minor changes to recently approved proposals, possbly by voice: . 1466: Aligned to Draft4, confirmed that all feedback has been addressed or withdrawn. * JH will call for an e-mail vote. . 1668: Aligned a few Annex F changes with 1549, fixed typo (unclocked --> clocked for U grammar), changed itemize symbols from bullets to dashes. Aligned with Draft4. * JH will call for an e-mail vote. . 1722: Aligned to Draft4, confirmed that all friendly amendments have been addressed. What about the comments from Shalom regarding hierarchical references? * The 1722 changes do not hold any text that is needed for BC to go ahead. * JH: SV-AC have no objection to BC fixing this. * JH will call for an e-mail vote. - How to limit scope and be more efficient.? . put two major items in top priority slots. 1549, 1932 . The rest the items will cycle and we will discpline ourselves to reduce the cycle time. ES will be "sergeant at arms" to help us maintain this discipline. General working items: - 1641: Severity for general error messages [MK] . Move assertion severity system tasks general. . DK had feedback on "Verilog" $display. Statement about "something must be true". . LP in 1361 we are saying that action blocks are controlled by system task. . Manisha will revise, then we will vote. - 1757: accept_on, reject_on [EC] . YF: I don't see a need for asynchronous. . JM: PSL introduced new syntax for synchronous and asynchronous. . JH: Anyone who wants to drive the synchronous versions can. . DK: Can YF enter a Mantis item for synchronous versions? . YF: Yes. . JH will call for an e-mail vote. - 1756: Control of assertions in initial blocks [EC] . EC will check alignment with D4. . BT will work with EC to try to make the description more concise. BT and/or EC will send the result of this to the reflector. . JH will wait to see the result before calling for a vote. - 1900: Checkers [DK/ES] . DK has addressed many of the feedback items. Began implementing the items from the face-to-face. One is access to internal checker items. . TT: We want outputs to be able to construct hierarchical checkers. Outputs seem to be a good way to do this. . DK: We need continuous assignments with output arguments. . DK: We will need help with VPI content from BT. . DK: Does everyone agree that no requirements will be imposed on the simulator to support non-deterministic freevars? . DK: Mantis item 2088 to add covergroups to checkers will require cooperation with SV-CC. . TT: Mantis item 2089 is to add assertions to final blocks. - 1758: Boolean operators ->, <-> [EC] . Already aligned with draft4. . Concern from Shalom Bresticker regarding description of operator precedence. Feedback from the champions. . JH will call for e-mail vote. LP: Next time we need to review the list of Mantis items to opened based on our face-to-face. We did not get to these items: - 1549: Argument passing [DB, LP, JH] - 1932: LTL operators [DK, DB] - 2005: Glitches with immediate assertions [ES] - 1995: Assertions and checkers in for loops [ES] . Next steps for 1601 . Next steps for 1648 . Next steps for 1729 Next meeting: ------------- 2007-10-16 at 16:00 UTC (11:00 CDT), 2 hour slot.Received on Tue Oct 9 13:16:46 2007
This archive was generated by hypermail 2.1.8 : Tue Oct 09 2007 - 13:17:07 PDT