Hi Folks: My notes from today's SV-AC meeting are attached. Please let me know if changes 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-29 Written by: John Havlicek Date: 2007-11-20 Time: 16:00 UTC (10: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 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[xxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) vv[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) nn[------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) nn[---x------------x--xxx.....................] Joseph Lu (Altera) vv[xxxxxxxxxxxxx..............................] Johan Martensson (Jasper) nn[---------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) nv[-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) nv[-x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------- attendance on 2007-11-20 |--------------------------------------------- voting eligibility on 2007-11-20 |---------------------------------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - Discuss clumping of votes and running them Tuesday to Monday. Old items: - 1533: LRM not clear about types of local variables. . State change to "resolved,duplicate" (of 1668) failed due to lack of votes. . Ready to vote? - 1549: arguments . Discuss passing of property_spec to property argument. . Ready to vote? - 1648: Default disable iff . Ready to vote? - 1757: accept_on/reject_on . Ready to vote? - 1898: Explicit mappings from assertion system tasks to callbacks. . Failed due to negative vote. . Ready to vote? Major items: - 1932: LTL Operator [DK, DB] - 1900: Checkers [DK] General working items: - 1503: VPI diagram of propertyinst has no vpiArgument [BT, LP] . Needs review? . Ready to vote? - 2033: Sequences and properties declared in generates [DK] . Needs review? . Ready to vote? - 2005: Glitches with immediate assertions [ES] - 1995: Assertions and checkers in for loops [ES] - 1756: Control of assertions in initial blocks [EC] - Other items Notes: ------ - Reminder of IEEE patent policy. - Discuss clumping of votes and running them Tuesday to Monday. . We will continue call individual votes and send in individual ballots. We will follow a policy of calling votes on Tuesday to be due the following Monday. Old items: - 1533: LRM not clear about types of local variables. . State change to "resolved,duplicate" (of 1668) failed due to lack of votes. . Ready to vote? - JH will call for e-mail vote. - 1549: arguments . Discuss passing of property_spec to property argument. - We decided to eliminate the suggested capability to be able to pass a literal property_spec as actual arg. . Ready to vote? - JH will call for an e-mail vote. - 1648: Default disable iff . Ready to vote? - Lisa Piper made changes. - MK will review LP changes. - LP raised question about name resolution not ascending about module boundary. JH is worried about whether this is correct for nested declarations. - We are not ready for an e-mail vote. - 1757: accept_on/reject_on . Ready to vote? - JH will call for an e-mail vote. - 1898: Explicit mappings from assertion system tasks to callbacks. . Failed due to negative vote. . Ready to vote? - JH will call for an e-mail vote. Major items: - 1932: LTL operators [DK, DB] . We will take strong/weak out of Table 6-25 and add a note ... . We need to decide if accept_on/reject_on should be lower what - JM says in PSL the higher precedence is needed because the abort is postfix and you don't want to grab, say, the antecedent of a suffix implication in a typical case. . Ideas to consider: - until should be higher than |->. - until should be higher than always/eventually. - always/eventually should be lower than |->. - Consider making next lower precedence than |->. - 1683: Relax rules for building multiclock properties [DK] . We talked about removing the connection with global clocking. . There will need to be more relaxation than what is in the proposal to align with PSL. . There is a problem with eliminating the requirement of unique leading clock for top-level properties -- this impacts the notion of when attempts start. - 1900: Checkers [DK] . DK is still addressing comments from Jonathan Bromley. Then the proposal should be reviewed. - LP and BT will review. General working items: - 1503: VPI diagram of propertyinst has no vpiArgument [BT, LP] . Needs review? - BT has reviewed. . Ready to vote? - JH will look for a mail later today. - 2033: Sequences and properties declared in generates [DK] . Needs review? . Ready to vote? - JH will look for mail from Dmitry today about the update and call for an e-mail vote. We did not get to these items: - 2005: Glitches with immediate assertions [ES] - 1995: Assertions and checkers in for loops [ES] - 1756: Control of assertions in initial blocks [EC] - Other items DK will lead the next two meetings. Next meeting: ------------- 2007-11-27 at 16:00 UTC (10:00 CST), 2 hour slot. ------------------------------------------------------------------------- Upcoming Schedule: Legend: M: major item slot (2 concurrent) m: minor item slot (4 concurrnet) v: very minor item slot (no limit) d: draft preparation slot (no limit) 2007-11-20 M: 1932 ballot & revision M: 1900 ballot & revision m: 1757 ballot & revision m: 1898 review m: 1756 ballot & revision m: 1682 ballot & revision d: 1503 draft d: 2033 draft 2007-11-27 M: 1932 ballot & revision M: 1900 ballot & revision m: 2005 review m: 1898 ballot & revision m: 1756 ballot & revision m: 1503 ballot & revision v: 2033 review d: 1667 draft d: 1683 draft 2007-12-04 M: 1900 ballot & revision M: 1995 ballot & revision m: 1898 ballot & revision m: 1756 ballot & revision m: 1503 ballot & revision v: 2033 ballot & revision d: 1667 draft d: 2150 draft d: 1683 draftReceived on Tue Nov 20 11:01:26 2007
This archive was generated by hypermail 2.1.8 : Tue Nov 20 2007 - 11:02:25 PST