Minutes of SV-AC meeting 6/28/2012

Date: 2012-06-28
Time: 16:00 UTC (9:00 PDT)
Duration: 2 hours

Dial-in information:
--------------------
US toll free # 888-875-9370
US toll # 916-356-2663
Bridge: 2
Passcode: 6156997

Agenda:
-------
- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt
- Review of Mantis 3525
- Review of Mantis 3474
- Opens

Attendees:

* Ed Cerny (Synopsys)

* Dana Fisman (Synopsys)

* John Havlicek (Cadence)

* Dmitry Korchemny (Intel, Chair)

* Manisha Kulshrestha (Mentor Graphics)

* Anupam Prabhakar (Mentor Graphics)

* Erik Seligman (Intel)

* Samik Sengupta (Synopsys)

* Tapan Kapoor (Cadence)

3525: 2012 Ballot comment 41: property_statement should not be part of property_expr

SV-AC recommends to allow an optional semicolon in property statement. It allows keeping backward compatibility while allowing conventional flexible coding style.
Ed will update and publish the proposal today, and SV-AC members will send their comments during this and the next week. If changes are required during the next week, John will update the proposal.

3474: 2012 Ballot comment 54: Extend assertion control to apply to 'violation reports' for unique/priority case

SV-AC support this proposal, but recommends the following modifications:

* Get rid of ViolationReportOn/Off, and reuse the existing control_type values.

* Emphasize that the control tasks $asserton/off/kill remain backward compatible and do not suspend/resume if/case statement violation reporting.

Manisha will update the proposal and send the notification.

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
Received on Thu Jun 28 12:56:04 2012