All: Attached are the notes from today's SV-AC meeting. Please let me know if corrections are required. Also, please note the time change for our next meeting. 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-05 Written by: John Havlicek Date: 2007-03-06 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 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[xxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) vv[xxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) yn[xx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) vv[xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) vv[x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) nn[x..................] Erik Seligman (Intel) nv[--xxxx-xx----------] Tej Singh (Mentor Graphics) vv[xxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxx...............] Tom Thatcher (Sun Microsystems) |------------------- attendance on 2007-03-06 |--------------------- voting eligibility on 2007-03-06 |---------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - Completed ballots on 1460, 1704. - New Mantis items: Bassam suggested that 1720 should go to SV-CC. - 1599: API and VPI changes for 0805 [BT] . To be moved to SV-CC after review. - 1734: Incomplete fix to Annex E in 0805 [JH] . Proposal needs to be reviewed. - 1735: Incomplete fixes from 0928 [LP] . TT reviewed. Ready to vote? - 1737: Incomplete fixes from 1381 [EC] . Proposal needs to be reviewed. Volunteer? - 1466: Shortcuts for ## and * [LP] . YF reviewed. - 1641: Severity specification for error msgs [MK] . Should be discussed together with SV-BC - 1722: Bind inconsistencies [LP] . JH reviewed. Should this go to Clause 19? - 1668: Local var initializers [JH] . Email vote aborted due to negative vote from EC. - 1361: Control exec of action blocks . Skipped this item. - 1648: Default disable [DK] . TT reviewed. - 1674: Context value functions [EC] . YF reviewed - 1681: Global clocking [EC] . DB reviewed. - 1682: Future value functions [EC] . DB reviewed. - 1547: Verif. statement in clocking block [LP] . BT reviewed. - 1728: Let [EC] . EC sent draft text of motion. - 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? Notes: ------ - Reminder of IEEE patent policy. - Completed ballots on 1460, 1704. - SV-EC requests feedback on Mantis 890, version 7, two parts, by 14 March. Send to SV-EC and Neil.Korpusik@Sun.COM. We will have individual reviews, not a full committee reponse. Volunteers? DK will look at it if no one else does. MK pointed out that this may impact 1681. EC will try to have a look at it. - New Mantis items: BT suggested that 1720 should go to SV-CC. . There was an item on "and", "or". SV-CC chair is Charles (chas@cadence.com). JH will try to move this. - 1599: API and VPI changes for 0805 [BT] . To be moved to SV-CC after review. BT made some minor updates. MK will review this and send feedback. - 1734: Incomplete fix to Annex E in 0805 [JH] . Proposal needs to be reviewed. DB will review. - 1735: Incomplete fixes from 0928 [LP] . TT reviewed. Ready to vote? Yes. JH to call for email vote. - 1737: Incomplete fixes from 1381 [EC] . Proposal needs to be reviewed. Volunteer? TT, DB, MK will review. . MK points out that this is not equivalent to writing a concurrent assertion outside the procedural context. . EC will revise the proposal with different forms for "assert property" and "cover property". - 1466: Shortcuts for ## and * [LP] . YF reviewed. JH found some minor editorial problems. Ready to vote? . DK to send Lisa suggestion for adding shortcut ? for "0 or 1 time". - 1641: Severity specification for error msgs [MK] . Should be discussed together with SV-BC . MK still needs to update the proposal. - 1722: Bind inconsistencies [LP] . JH reviewed. Should this go to Clause 19? Stu says he can move it to Clause 19 in the LRM merge. Ready to vote? Yes. JH to call for email vote. - 1668: Local var initializers [JH] . Email vote aborted due to negative vote from EC. . EC's issues: + Is not in line with other SV initializations, requires order of evaluation. + It may hide user problems in illegal acces to to local variables. + Issues brought up by Dmitry. + EC doesn't like the initializations -- they seem unnecessary. . DK's issues: + DK: this is convenient for users, but seems difficult to define in some cases. + Properties with sequence expressions that match empty word are not illegal. + Concern about empty word satisfaction by properties with "disable iff" + Two rewrite rules for properties is undesirable. + Interaction of initialization with nestable accepton/rejecton. . JH's issues: + Subtlety of when to execute declaration assignment when clock is changing. + The property format really does need strong and weak forms. . We need to continue email discussion of the noted issues. There is no urgency to complete this proposal now. JH intended to allow assignments in the formal argument list in the proposal for 1667, with semantics derived from that of declaration assignments. - 1361: Control exec of action blocks [MK] . MK: there may be less need for this with 0805 passed. There remains the issue of action blocks executing on vacuous match. . MK to revise this proposal. Some parts are no longer needed due to other proposals. - 1648: Default disable [DK] . TT reviewed. . EC: there is an issue when there are more than two event expressions. . EC will provide a revised proposal and send it also to Shalom. TT will review. - 1674: Context value functions [EC] . YF reviewed, email discussion with Shalom Bresticker and TT. . EC will check the latest version on mantis and, as needed, post a revised version to clarify relationship with clock flow. YF will review. - 1681: Global clocking [EC] . DB reviewed. . Comments from SV-EC, Jonathan Bromley. . DK sent response to Jonathan. . Is "design" well defined? . New keyword "global" raising concern. . What does alignment to global clock mean? . EC: we seem to need to have better text to describe the motivation. . EC and DK will try to reformulate the proposal in a more friendly way. DB will review. EC and DK will decide when to send the revised proposal to SV-EC and may attach an explanation of how the SV-EC concerns have been addressed. - 1682: Future value functions [EC] . DB reviewed. . EC: there were concerns about reading in observed region, stability. DB suggested returning preponed values from next timesteps. EC thinks this will be inefficient. EC suggests making the value the observed region value, absolutely. . MK: 890 needs to be looked at. Clocking block changes moving to observed region may make the observed value more complicated. . DK: We need to try to converge on the definition. The following were not discussed for lack of time. - 1547: Verif. statement in clocking block [LP] . BT reviewed. - 1728: Let [EC] . EC sent draft text of motion. - 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? Next meeting: ------------- 2007-03-20 at 16:00 UTC (11:00 CDT), 2 hour slot.Received on Tue Mar 6 11:52:31 2007
This archive was generated by hypermail 2.1.8 : Tue Mar 06 2007 - 11:52:51 PST