Hi Folks: My notes from today's 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-37 Written by: John Havlicek Date: 2008-01-29 Time: 16:00 UTC (10:00 CST) Dialin information: ------------------- Toll number: +1 647 723 3904 Country Toll Free 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[xxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) vv[xxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[xxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) nn[-x-------------------------------------------------] Ah-Lam Lee (Qualcomm) nn[--------------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) nn[-----------x------------x--xxx.....................] Joseph Lu (Altera) nv[--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper) nn[-----------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[xxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) nn[---------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[x-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |-------------------------------------------------- attendance on 2008-01-29 |---------------------------------------------------- voting eligibility on 2008-01-29 |----------------------------------------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. Late Items m: 1756 // due 2007-12-11; review M: 1932 // due 2007-11-27; ballot & revision M: 1900 // due 2007-12-04; feedback v: 1786 // due 2007-12-18; resolve in 1932 v: 1687 // due 2008-01-15; open m: 2172 // due 2008-01-15; open d: 2173 // draft due 2008-01-08 m: 2150 // due 2008-01-22; ballot & revision d: 0966/1982 // draft due 2008-01-22; open v: 1901 // review due 2008-01-15 M: 2110 // review due 2008-01-22 Ballot results - 1932: LTL operators [DB] - 1995: Assertions and checkers in for loops [ES] - 1698: Sampled value functions outside assertions [EC] - 1769: Elaboration-time assertions [EC] - 2091: Clarify where concurrent assertions may appear [LP] Ongoing ballot - 2005: Glitches with immediate assertions [ES] Old items: - 1503: Assertion VPI changes [BT, LP] - 1900: Checkers [DK] Major items: - 2110: Checkers in for loops [ES] . needs review General working items: - 1901: Identifier for ## should be constant [EC] . Need reviewers. - 2100: Synchronous resets [DK] - 2168: Formal semantics for clocking events [DK] - 2069: Formal semantics for coverage [DK] . Need reviewers. Other items Notes: ------ - Reminder of IEEE patent policy. Late Items m: 1756 // due 2007-12-11; review M: 1932 // due 2007-11-27; ballot & revision M: 1900 // due 2007-12-04; feedback v: 1786 // due 2007-12-18; resolve in 1932 v: 1687 // due 2008-01-15; open m: 2172 // due 2008-01-15; open d: 2173 // draft due 2008-01-08 m: 2150 // due 2008-01-22; ballot & revision d: 0966/1982 // draft due 2008-01-22; open v: 1901 // review due 2008-01-15 M: 2110 // review due 2008-01-22 Ballot results - 1932: LTL operators [DB] . Discussed BT negative vote. The committee members do not think that it is feasible or desirable to address the criticisms in the negative vote. . ES suggested having a call with BT. . BT joined the call and said that macros or attributes or checkers are going too far. He emphasized the composed keywords and #-#, #=# syntax. . Discussed LP question on the [] modifiers for . Discussed interaction of recursive properties and LTL. . people will review and send DB feedback, DB will revise if necessary. - 1995: Assertions and checkers in for loops [ES] . Approved, no friendly amendments. - 1698: Sampled value functions outside assertions [LP] . Discussed RTL equivalent. The RTL equivalent is not equivalent to a definition that returns the same value in every region of a timestep. There is a tradeoff between a definition that is consistent in all scheduling regions (simple to use) and a definition in terms of an explicit synthesizable construct (simple to implement). Most people preferred simple-to-use. . Need to take the technical issue to e-mail to converge. Some of these these points have been discussed before. - 1769: Elaboration-time assertions [EC] . 8y/0n/0a voice vote to approve friendly amendments. JH will move to resolved. - 2091: Clarify where concurrent assertions may appear [LP] . 8y/0n/0a voice vote to approve friendly amendments. JH will move to resolved. Ongoing ballot - 2005: Glitches with immediate assertions [ES] . 8y/0n/0a voice vote to approve DKs friendly amendments contingent the e-mail ballot succeeded. Old items: - 1503: Assertion VPI changes [BT, LP] . There was e-mail from Jim Vallenga, BT says there may be further revision in SV-CC. BT is still getting feedback from SV-CC on the VPI structure. - 1900: Checkers [DK] . DK will mail updates to address comments to individuals, leave 1900 Mantis stable during Champions e-mail vote. - 1987: LP will revise, JH will call for an e-mail vote. Major items: - 2110: Checkers in for loops [ES] . DK reviewed. Proposal is ready for vote. JH will call for e-mail vote. . TT: In 1995 the semantics was such that any assertion in a for loop was considered one assertion, similarly for cover. Will this semantics be the same for checkers? ES: that is our intention. DK: I don't know how to make the proposal general for checkers. The proposal only allows checkers with indices only in their assertions. ES: loop variable cannot be used in modeling code. TT: If you do a coverage-based methodology, you won't get multiple cover properties. General working items: - 1901: Identifier for ## should be constant [EC] . TT will review. - 2100: Synchronous resets [DK] . YF reviewed. . EC had an issue that needs to be addressed. Should the leading clock of these be inherited? take discussion offline, DK will send mail. - 2168: Formal semantics for clocking events [DK] . JH and DK will discuss. - 2069: Formal semantics for coverage [DK] . DB will review. Other items - TT: 2088 new proposal updated. added two examples, covergroup triggered by sampled method. JH will call for an e-mail vote. - MK: 2150 is also ready for vote. JH will call for an e-mail vote. - TT: Will try to get 2089 revised and send e-mail. If timely, JH will call for an e-mail vote. - DK: 2250 VPI changes for 1932. JH will call for a vote. ------------------------------------------------------------------------- Extension 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) Items returned from Committees: ------------------------------- 1503 // SV-CC [LP,BT are monitoring] Items in other Committees: -------------------------- 1599 // SV-CC [BT is monitoring] 1601 // SV-EC 1757 // SV-CC 1758 // SV-BC 1898 // SV-CC Late Items: ----------- m: 1756 // due 2007-12-11; review M: 1932 // due 2007-11-27; ballot & revision M: 1900 // due 2007-12-04; feedback v: 1786 // due 2007-12-18; resolve in 1932 v: 1687 // due 2008-01-15; open m: 2172 // due 2008-01-15; open d: 2173 // draft due 2008-01-08 m: 2150 // due 2008-01-22; ballot & revision d: 0966/1982 // draft due 2008-01-22; open v: 1901 // review due 2008-01-15 M: 2110 // review due 2008-01-22 Schedule: --------- 2008-01-22 M: 2005 review M: 2110 review m: 2173 review m: 1769 ballot & revision m: 2069 review v: 1901 ballot & revision v: 1987 review d: 0966/1982 draft d: 2100 draft d: 1686 draft d: 1830 draft 2008-01-29 M: 2005 ballot & revision M: 2110 ballot & revision m: 2173 ballot & revision m: 0966/1982 review m: 2100 review m: 2069 review v: 1686 review v: 1830 review v: 1987 ballot & revision d: 1806 draft 2008-02-05 M: 2005 ballot & revision M: 2110 ballot & revision m: 2173 ballot & revision m: 0966/1982 ballot & revision m: 2100 ballot & revision m: 1806 review v: 1686 ballot & revision v: 1830 ballot & revision 2008-02-12 M: 2069 ballot & revision M: 1551 review m: 0966/1982 ballot & revision m: 2100 ballot & revision m: 2168 review m: 1806 review 2008-02-19 M: 2069 ballot & revision M: 1551 ballot & revision m: 2168 ballot & revision m: 1806 ballot & revision m: m: 2008-02-26 M: 1551 ballot & revision M: m: m: m: m:Received on Tue Jan 29 18:43:20 2008
This archive was generated by hypermail 2.1.8 : Tue Jan 29 2008 - 18:44:15 PST