[sv-ac] Updated proposal 3033 on procedural statements in checkers uploaded

Hi all,

I uploaded a new version of the proposal: http://www.eda-stds.org/mantis/file_download.php?file_id=5279&type=bug.

It contains the following changes:

· It is clarified that checker standalone deferred assertions become procedural deferred assertions in a procedural checker instantiation (16.4.3 and 17.3.1. See also checker c1 example there).

· It is clarified that event control variables are not sampled in an always_ff in 17.5, and the example has been updated accordingly.

· In F.3.4.6 always replaced with always_ff.

· p.9, example: check_outside added a missing an argument

· p.15, 1st bullet point: "In always_ff procedure" --> "In always_ff procedures"

· C.2.7. 1st paragraph rephrased: "The always procedure allowed by IEEE Std 1800-2009 in checkers, but always_comb, always_latch, and always_ff were forbidden. The limitations imposed on the always procedure in checkers included the limitations imposed on always_ff procedures outside checkers. In this version of the standard always_comb, always_latch, and always_ff have been added for checkers. As a result the general always procedure in checkers would have imposed the same limitations as always_ff does. Therefore the usage of always procedures in checkers is deprecated and does not appear in this version of the standard."

· In the example in 17.3 a missing end added in the module. The module code properly indented.

· Fixed a typo in the example in 17.5.

· In 17.3 Checker instantiation the entire paragraph is included in the change to improve readability.

· Changed "For instance check_outside" to for checker instance check_outside (17.3)

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.