Minutes from SV-AC Committee Meeting Date: 2014-12-01 Time: 16.30:00 UTC (8:30 PST) Duration: 1 hour Agenda ------ - Reminder of IEEE patent policy. See: http://standards.ieee.org/board/pat/pat-slideset.ppt - Elaborating recommendations for the next P1800 PAR. - Opens 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 Attendance re-initialized on 2014-11-18: v[x-] Shalom Bresticker (Intel) v[x-] Dennis Brophy (Mentor Graphics) v[xx] Eduard Cerny (Synopsys) v[xx] Ben Cohen v[xx] John Havlicek (Cadence) v[xx] Tapan Kapoor (Cadence) t[xx] Dmitry Korchemny (Intel - Chair) v[xx] Scott Little (Intel) v[xx] Anupam Prabhakar (Mentor Graphics) v[xx] Erik Seligman (Intel) v[xx] Samik Sengupta (Synopsys) |- attendance on 2014-12-01 |--- voting eligibility on 2014-12-01 Minutes ------- 1. IEEE patent policy reminder 2. Elaborating recommendations for the next P1800 PAR 3478: Make drivers of inout ports accessible Most people consider this item as important, but belonging to SV-BC realm. SV-AC will recommend SV-BC to include this item to the next PAR. Ben volunteered to champion this proposal Scott expressed concern about SV-BC bandwidth availability for this issue. 5063: Automatic inference of assertion statement type Ed and Erik expressed concern about this proposal: prescribing specific rules for assertion directive inference may contradict the behavior of formal verification tools. Dmitry: Current LRM definition contradicts the behavior of most FV tools, therefore this definition should be modified. Specific modification may be as simple as a clarification sentence or may be complex and include new syntax and elaborated semantics. Also, definition of assumption is misleading. Erik: need to change the item title to "Allow tools to modify the assertion statement type". SV-AC will recommend to include this proposal to the next PAR when its title has been modified 5064: Create standard package to define constants used in assertion-related stuff SV-AC will recommend to include this proposal to the next PAR 5065: Create standard package to define implementation for commonly used properties Erik expressed concern that this proposal should be handled by OVL committee. John: This proposal is much simpler than new assertion library definition. SV-AC will recommend to include this proposal to the next PAR 5067: Allow variables in delays and repeat operators Many people consider this proposal important. SV-AC will recommend to include this proposal to the next PAR 5068: concurrent assertions in classes Most people consider this proposal important, but complicated. Dmitry: Need also define checkers in classes Ed: Need to define the clock semantics. John: Form a group. Probably not feasible to complete the work in the next PAR, at to elaborate a recommendation. Discussion stopped because the meeting ran out of time. At the next meeting need to discuss proposals 5070 and 5071. Tapan mentioned a need to develop VPI for checkers (item 2182). This proposal belongs to SV-CC, but need to discuss it at the next SV-AC meeting. Ben suggested to revive several old enhancement proposals. All these items will be discussed at the next meeting. 3. Opens None Next meeting: Monday, 2014-12-15 - 16:30 UTC (8:30 am PST), duration 1.30h --------------------------------------------------------------------- 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. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Dec 2 12:56:24 2014
This archive was generated by hypermail 2.1.8 : Tue Dec 02 2014 - 12:57:02 PST