Hi Karen,
SV-AC would like to request an authorization from 1800 Work Group to work on the following additional enhancements:
0003206<http://www.eda-stds.org/mantis/view.php?id=3206> Deferred assertions are sensitive to glitches
0003191<http://www.eda-stds.org/mantis/view.php?id=3191> Allow sequence methods with sequence expressions
0003195<http://www.eda-stds.org/mantis/view.php?id=3195> Local Variables Flow Out Issue in and/or/intersect/implies
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.Received on Wed Oct 13 08:57:30 2010
This archive was generated by hypermail 2.1.8 : Wed Oct 13 2010 - 08:57:34 PDT