All: My notes from today's 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-06 Written by: John Havlicek Date: 2007-03-20 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) 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[xxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) vv[xxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[-------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[xxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) vv[-xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) nv[-x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[x-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) nn[-x..................] Erik Seligman (Intel) nn[---xxxx-xx----------] Tej Singh (Mentor Graphics) vv[xxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxx...............] Tom Thatcher (Sun Microsystems) |-------------------- attendance on 2007-03-20 |---------------------- voting eligibility on 2007-03-20 |----------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - Completed ballots on 1722, 1735. - Draft of merged LRM available, feedback desired, but not to be used as a baseline for proposals. - 1547: Verif. statement in clocking block [LP] . BT reviewer. - 1728: Let [EC] . EC sent draft text of motion. Proposal outline needs to be reviewed. Volunteer? - 1729: Immediate assume, cover [EC] . Proposal needs to be reviewed. Volunteer? - 1730: Literal sequence and property arguments [EC] . Proposal needs to be reviewed. Volunteer? - 1731: Sampled value functions with arbitrary clocks [EC] . Proposal needs to be reviewed. Volunteer? - 1599: API and VPI changes for 0805 [BT] . Ready to move to SV-CC? - 1734: Incomplete fix to Annex E in 0805 [JH] . DB reviewer. - 1737: Incomplete fixes from 1381 [EC] . TT, DB, MK reviewers. - 1466: Shortcuts for ## and * [LP] . YF reviewer. Ready to vote? - 1641: Severity specification for error msgs [MK] . Proposal needs to be reviewed. Volunteer? - 1668: Local var initializers [JH] . Discussion of urgency, relationship to argument semantics. - 1361: Control exec of action blocks . Is this still needed? - 1648: Default disable [DK,EC] . TT reviewer. - 1674: Context value functions [EC] . YF reviewer - 1681: Global clocking [EC] . DB reviewer. - 1682: Future value functions [EC] . DB reviewer. - New mantis item 1763. Notes: ------ - Reminder of IEEE patent policy. - Completed ballots on 1722, 1735. - Draft of merged LRM available, feedback desired, but not to be used as a baseline for proposals. - 1547: Verif. statement in clocking block [LP] . BT reviewer. . We will leave this item on mantis but not take further action. . LP will add a bugnote and change priority to low. - 1728: Let [EC] . EC sent draft text of motion. Proposal outline needs to be reviewed. Volunteer? . DK: Alias construct has the same syntactic form as "let". . EC: Global references are resolved in declaration context. Contextual expression dependencies are resolved in substitution context. . JH will call for a vote on the motion by email. - 1729: Immediate assume, cover [EC] . Proposal needs to be reviewed. Volunteer? LP will review. - 1730: Literal sequence and property arguments [EC] . Proposal needs to be reviewed. Volunteer? DB will review. - 1731: Sampled value functions with arbitrary clocks [EC] . Proposal needs to be reviewed. Volunteer? JH will review, MK will review, DB will review. . EC asked about 1698. . JH asked and MK has some concern about whether 1698 is needed for 1731. . DK argued that Annex E says what we want assertion reference to $past to mean on a different clock. 1698 resolution should be consistent with this. . EC will write something up for 1698. - 1599: API and VPI changes for 0805 [BT] . MK and LP offered feedback. . LP and JH raised some concern about how an attempt that starts and is subsequently killed is accounted for in the various callbacks. . BT will review and see about adding PI calls for killed. . BT Proposal does add the coverage status properties. . Ready to move to SV-CC? Not - 1734: Incomplete fix to Annex E in 0805 [JH] . DB reviewer. . JH asked for help on getting special symbols in Word. EC recommended using Euclid math symbols from free version of equation editor. BT recommended inserting a symbol and choosing symbol font. DK to send an example. - 1737: Incomplete fixes from 1381 [EC] . TT, DB, MK reviewers. . EC will make minor change to the examples, then JH will call for a vote. - 1466: Shortcuts for ## and * [LP] . YF reviewer. Ready to vote? . LP will make minor changes, and then JH will call for a vote. - 1641: Severity specification for error msgs [MK] . Proposal needs to be reviewed. Volunteer? BT, LP gave feedback. LP, BT will review. . MK: Hillel sent a comment about using system task to control. These could be controlled in tool-specific way and we could leave this as a separate mantis item. - 1668: Local var initializers [JH] . Discussion of urgency, relationship to argument semantics. . JH should send an example to DK to illustrate how 1667 depends on 1668. - 1361: Control exec of action blocks . MK: Last time we discussed this and it is still needed. . BT looked at this and gave feedback. . MK will make a revision, then JH will call for email ballot. - 1648: Default disable [EC] . TT reviewer. . TT: only sensitivity list of always block is used to infer, not the logical structure of the enablers in the block. . EC: restricting to always_ff makes it easier to address concerns of TT. . EC: For clock inference, current rule takes first event expression. May need to change this definition. . EC will revise and TT will re-review. We did not get to these items: ------------------------------ - 1674: Context value functions [EC] . YF reviewer - 1681: Global clocking [EC] . DB reviewer. - 1682: Future value functions [EC] . DB reviewer. - New mantis item 1763. Next meeting: ------------- 2007-03-27 at 16:00 UTC (11:00 CDT), 2 hour slot.Received on Tue Mar 20 11:58:20 2007
This archive was generated by hypermail 2.1.8 : Tue Mar 20 2007 - 11:58:32 PDT