All: I have attached corrected minutes. I checked the operating guidelines, and new members joining after the first three meetings do not achieve voting eligibility until they have attended two consecutive meetings. This means that Tom Thatcher is not yet eligible to vote. My apologies for the mistake. 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-02 Written by: John Havlicek Date: 2007-01-23 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: nn[-------xxx------] Shalom Bresticker (Intel) vv[xxxxxxxxxxxxx-xx] Doron Bustan (Freescale) vv[xxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[---x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[x-xxx-xxx-------] Yaniv Fais (Freescale) nn[---x------x-----] Faisal Haque (Cisco) tt[xxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) nn[---------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) vn[xx-------x-xx-x-] Jiang Long (Mentor Graphics) nn[x--xx-xxxxxxx-x-] Hillel Miller (Freescale) nn[-----xx-xxx-----] Don Mills (Microchip) vv[xxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[xxx-xx----------] Tej Singh (Mentor Graphics) nn[------xx-x------] Stu Sutherland (Sutherland HDL) vv[xxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) nn[x...............] Tom Thatcher (Sun Microsystems) |---------------- attendance on 2007-01-23 |------------------ voting eligibility on 2007-01-23 |------------------- new voting eligibility Agenda: ------- - Reminder of IEEE working group rules. - Update from argument subcommittee. - Discuss enhancements to be addressed by SV-BC. - 1601: Context type (under ballot) - 1550: $sampled definition - 1591: $past syntax not precise - 1460: Allow actions with assume property statements - 1641: Severity specification for error msgs (should be discussed together with SV-BC) - 1668: Local var initializers Notes: ------ - Reminder of IEEE working group rules. - Update from argument subcommittee. . LP: There was a mixup on the time last week. Will meet this Thursday. . DB: We will need to define formal semantics for subproperties and subsequences. - Discuss enhancements to be addressed by SV-BC. . DK: We need to send these items to SV-BC and tell them that their resolution is important for SV-AC. DR said that one of the items is a pure SV-AC issue. . DB, EC: We probably need to provide a sketch of the solution to make sure we get something we can use. . DK: Remove the one item, state that we want to be involved, and EC and DK can participate. - 1601: Context type (under ballot) . Ballot aborted due to negative votes. . JH: What specific changes need to be made to make 1601 acceptable? . DK: The point is that context is used to put untyped arguments after typed ones. Pure syntactic enhancements. . JH: Try to make an example that simply shows reordering of arguments. Two declarations with different formal argument orders, two instances, and a statement of equivalence of the instances should be enough. . DK: Syntax for property formal arguments needs to be added. - 1550: $sampled definition . JH: Called for vote on 1550. - 1591: $past syntax not precise . DK: Proposal is not ready yet. Intend to send tomorrow. Discuss for one week, then call for a vote. - 1460: Allow actions with assume property statements . DK: Leave one week for discussion and then call for a vote. - 1641: Severity specification for error msgs (should be discussed together with SV-BC) . LP: Decouple severity from assertion failure, associate it with severity task. . TS: There are two modes, one in assertion with more information, one outside with less. . LP: What about a task that calls $error, e.g.? We want to know what called the task. . EC: What about implicit %m format? Does this pick up the assertion label? . TS: What about assertion failure severity? . JH: Maybe we can get rid of the concept of assertion failure severity. If not, then we probably have to figure out what assertion pass severity means. . TS: Will check with Manisha about the source of this and whether it can be eliminated. . LP: We need to have simulation time output with these tasks. . DK: We need to share this with SV-BC. . JH: Should we start copying SV-BC? . ??: Let's continue to figure out what we want before we pass this on to SV-BC. - 1668: Local var initializers . JH: Still working on the proposal. - 1704: . LP will update and send message to reflector. - LP uploaded 1722, clarifications on bind. Next meeting: ------------- 2007-02-06 at 17:00 UTC (11:00 CST)Received on Tue Jan 23 11:32:27 2007
This archive was generated by hypermail 2.1.8 : Tue Jan 23 2007 - 11:32:52 PST