[sv-ac] Update version of Mantis 3033 uploaded

Hi all,

I uploaded the updated version the Mantis 3033 "Allow procedural control statements is checkers": http://www.eda-stds.org/mantis/file_download.php?file_id=5325&type=bug. This version includes:

* Implementation of friendly amendments

* Addressing feedback from today's meeting - no new restriction on checker instantiations in procedural code

* Made the following change:

If an actual argument contains any subexpression that is a const cast or automatic value from procedural code, then the corresponding formal argument shall be used only in static assertion statements (see 16.15.6) or static checker instances not be used in a continuous assignment or in the procedural code within the checker.

The original sentence is not accurate IMO, because it should be legal to use these arguments in let, sequence, and property statements, and not only in static assertions and static checker instances. Hopefully my change is correct.

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.