[sv-ac] Champions' feedback

Hi all,

We won't have SV-AC meeting tomorrow, but we will have a meeting next week 15-Nov to address the champions' feedback.

The following proposals have been reopened:
3069: Relax rules for $global_clock resolution (Jacob)
3206: Deferred assertions are sensitive to glitches (Erik)
3295: need a way to control only asserts/covers/assume directives (Manisha)
2093: Checker construct should permit output arguments (Dmitry)
3113: Add port_identifier to constant_primary BNF for sequences, properties and checkers (Dmitry)

The owners of the above proposals, please, make the necessary changes so that we could discuss the amended proposals at our next meeting.

Thanks,
Dmitry
---------------------------------------------------------------------
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.