All: My notes from today's meeting are attached. Please advise me of any changes that 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-04 Written by: John Havlicek Date: 2007-02-20 Time: 17:00 UTC (11:00 CST) 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 18009459738 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) 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[xxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) vv[xxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[-----x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[rxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) nn[x----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) vv[xxxx-------x-xx-x-] Jiang Long (Mentor Graphics) vv[-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[-xxxx-xx----------] Tej Singh (Mentor Graphics) vv[xxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxx...............] Tom Thatcher (Sun Microsystems) |----------------- attendance on 2007-02-20 |------------------- voting eligibility on 2007-02-20 |-------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - Completed ballots on 1460, 1550, 1591, 1601. . 1460 has some lingering issues - New Mantis items: need to be confirmed and (possibly) assigned. . Incomplete fixes found in proofreading Draft 1: 1734, 1735, 1737. . 1720 (vpiNotOp does not distinguish "!" from "not"): should this go to another committee? . Other new items: - 1728 (let) - 1729 (immediate assume, cover) - 1730 (literal sequence and property arguments) - 1731 (sampled value functions with arbitrary clocks) - 1735: Incomplete fixes from 0928 - 1641: Severity specification for error msgs (should be discussed together with SV-BC) - 1704: Match items do not execute on empty match - 1668: Local var initializers - 1599: API and VPI changes for 0805 - 1361: Control exec of action blocks - 1722: Bind inconsistencies - 1648: Default reset - 1674: Context value functions - 1681: Global clocking - 1682: Future value functions - 1466: Shortcuts for ## and * - 1547: Verif. statement in clocking block Notes: ------ - Reminder of IEEE patent policy. - Completed ballots on 1460, 1550, 1591, 1601. . 1460 has some lingering issues. Dmitry needs to update the proposal and then we should be able to vote. - New Mantis items: need to be confirmed and (possibly) assigned. . Incomplete fixes found in proofreading Draft 1: 1734, 1735, 1737. - 1734 accepted, assigned to John. - 1735 accepted, assigned to Lisa. - 1737 accepted, assigned to Ed. . 1720 (vpiNotOp does not distinguish "!" from "not"): should this go to another committee? - We decided to accept this but left it unassigned. Ed said that this could be related to a proposal by Dmitry to use HDL logic operators for sequences and properties. . Other new items from Ed Cerny. All accepted and assigned to Ed. - 1728 (let) . Needs to be worked on by SV-BC. SV-AC needs to bless this. Assume has no template container. Doesn't exactly follow SV syntax. Scope sensitive macro that is still debuggable. Ed will draft text of a motion that we can vote on. - 1729 (immediate assume, cover) . This has an LRM change change proposal. - 1730 (literal sequence and property arguments) . This has an LRM change change proposal. - 1731 (sampled value functions with arbitrary clocks) . This has an LRM change change proposal. - 1735: Incomplete fixes from 0928 . Tom volunteered to review this proposal. - 1641: Severity specification for error msgs (should be discussed together with SV-BC) . Manisha will send out a revised proposal, together with some information about what is changing from the current capability. - 1704: Match items do not execute on empty match . Lisa will post a revised proposal today. Bassam to review this proposal. - 1668: Local var initializers . Discussion about divergence from other initialization assignment by performing them in order and not having default initial values. DB argued that non-determinism is not needed for local variable initialization. There was generally agreement that with the restriction that sequences with local variable declaration assignments not admit empty match, this feature is syntactic sugar. Therefore, it is not strictly necessary, but several people (John included) said they like it anyway. We will leave a bit more time for feedback before calling for a vote. - 1599: API and VPI changes for 0805 . Bassam will review and notify of any changes. Manisha will review. Then we will need to move the item to SV-CC. - 1361: Control exec of action blocks . Skipped this item. - 1722: Bind inconsistencies . Lisa needs to update the proposal based on feedback from Surrendra. . Lisa will update the proposal, JH volunteered to review it. - 1648: Default reset . Tom Thatcher volunteered to review this proposal. - 1674: Context value functions . No way to pass inferred clock, etc. within a property. . Yaniv volunteered to review this proposal. - 1681: Global clocking . New proposal with system/global clock, mainly for formal tools. . Doron volunteered to review this proposal. - 1682: Future value functions . New proposal enabling reference to future value. Mainly for formal. . Doron volunteered to review this proposal. - 1466: Shortcuts for ## and * . Yaniv volunteered to review this proposal. - 1547: Verif. statement in clocking block . Bassam volunteered to review this proposal. Next meeting: ------------- 2007-03-06 at 17:00 UTC (11:00 CST), 2 hour slot.Received on Tue Feb 20 12:00:13 2007
This archive was generated by hypermail 2.1.8 : Tue Feb 20 2007 - 12:00:36 PST