All: 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-10 Written by: John Havlicek Date: 2007-05-08 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[xxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) vv[xxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) vn[xx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) nv[--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) nn[-----xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) vv[xxx.....................] Joseph Lu (Altera) nn[--x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[xxxx-x..................] Erik Seligman (Intel) vn[xx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |----------------------- attendance on 2007-05-08 |------------------------- voting eligibility on 2007-05-08 |-------------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - Draft3 activities. - Argument subcommittee status and discussion. - 1730: Literal sequence and property arguments [EC] . Tidying up of friendly amendments. - 1737: Incomplete fixes from 1381 [EC] . 4-state semantics for inferred enabling condition. - 1731: Sampled value functions with arbitrary clocks [EC] - 1599: API and VPI changes for 0805 [BT] - 1668: Local var initializers [JH] - 1361: Control exec of action blocks [MK] - 1728: Let [EC], motion. - 1681: Global clocking [DK] - 1682: Future value functions [EC] - 1729: Immediate assume, cover [EC] - 1648: Default disable [EC] - 1674: Context value functions [EC] Notes: ------ - Reminder of IEEE patent policy. - Draft3 activities. . Editor has implemented feedback for items in SV-LRM. + We need to re-review. + 0805: Disabled attempts should be neither successes nor failures TS will review, JH will send mail to BT. + 0928: list_of_formals superfluous LP will review, JH will send mail to BT. + 1381: Vacuous success is not well-defined EC & JH will review. + 1420: Arguments to recursive properties DB & JH will review. + 1495: Problem with local variable flow rules EC & DB will review. + 1518: Semantics of recursive properties missing DB & JH will review. . Other minor editorial changes from the merge should be reviewed. Volunteers? + TT & JL will look over Clause 16 + JH & LP will look over Annex F . 29 May is the deadline for completing the Draft3 review. . All newly approved proposals should be in terms of Draft3. - Argument subcommittee status and discussion. . DB: No feedback yet. . DB: There was discussion and a new proposal to address the type equivalence question. Idea is to have a qualifier. Without qualifier, any actual that can be cast to the formal type is allowed. Otherwise, use "protected", and then only type-equivalent actual arguments are allowed. Also, for property type, only allow instances of properties. . JH: Can the user cast to property with a boolean or sequence actual argument? . DB: Infrastructure for casting to property doesn't exist. . LP: Maybe we don't need "protected" for property formal. . DB: Need to align with recently passed 1730. . LP: This change has already been made. . EC: Where are the docs? . DB: They are under mantis 1549. . JL: "Protected" as default is preferable. . TS: What about "protected" applying to the entire property? . SD: Can this scheme be extended to tasks and functions? Where will it be useful elsewhere? SV-BC sees SV-AC adding lots of features without considering their more general applicability. . DK: SV-BC can see our enhancements. . JH: In this case it makes sense to advertise the feature to SV-BC. . DB will alert SV-BC to what is being discussed with regard to "protected". . Reviewer for 1549 document: - TT & JL will review . Reviewers for formal semantics for passing arguments - DK & JH will review - 1730: Literal sequence and property arguments [EC] . Clause numbering was changed from 16 to 17, but, as luck would have it, now we need to change the numbering to align with Draft3. . EC will make the changes to align with Draft3. - 1737: Incomplete fixes from 1381 [EC] . 4-state semantics for inferred enabling condition. . This is done only with case equality in one example. . EC will make minor font changes and align with Draft3. . Then JH will call for an e-mail vote. - 1731: Sampled value functions with arbitrary clocks [EC] . JH, DB provided feedback on formal semantics 27 March 2007. . DK: We need to update the proposal based on this feedback. Are there other issues? . TS: Does this apply to $rose, etc., or just $past? . DK: It applies to all of them. . TS: Is there a race between the two clocks? . EC, DK: There is not a race. . JH: F.4.1 will need to be fixed to allow $rose, $fell, $stable under a different clock. . JH: Some further change to Clause 16 may be appropriate. . SD: The language in Clause 16 looks pretty clear. . JH: Let's review the language in Clause 16 anyway. . DK: We can take this discussion to e-mail. - 1599: API and VPI changes for 0805 [BT] . Skipped, BT not present. - 1668: Local var initializers [JH] . JH gave status summary. Main technical problem is when declaration assignment should occur if the clock is changing. There can be multiple initial clocks of the property. The point is that the terms in the RHS expression can be changing value, so it makes a difference when the RHS is evaluated. - 1361: Control exec of action blocks [MK] . DB made comments about state transition mechanism, but the proposal has not been updated. . MK is not present. - 1728: Let [EC], motion. . DK replied to Manisha's comments and deposited an updated draft. . EC: Tej or Manisha need to look at it. . DK: We are voting on the motion, not the proposal. Need to get feedback from Manisha and the others at Mentor who contributed to the concerns about the motion. . TS will get Mentor feedback in the next week. - 1681: Global clocking [DK] . DK addressed DB's comments. DB needs to review. . JH will ping people for responses. - 1682: Future value functions [EC] . EC has given an answer to Manisha. . JH will ping people for responses. - 1768: all match semantics . Discussion of first match vs. all match semantics and how to specify it. . LP: Will "cover sequence" for all match semantics be rejected as not backward compatible? . Discussion of whether people are using all match semantics. . LP will modify the proposal to use "cover sequence" syntax. . JH: Is the PSL cover semantics all match? . LP: Yes. . EC: The PSL LRM doesn't say anything about it. We did not get to these: - 1729: Immediate assume, cover [EC] - 1648: Default disable [EC] - 1674: Context value functions [EC] Next meeting: ------------- 2007-05-29 at 16:00 UTC (11:00 CDT), 2 hour slot.Received on Tue May 8 15:43:13 2007
This archive was generated by hypermail 2.1.8 : Tue May 08 2007 - 15:43:30 PDT