[sv-ac] Mantis 1900

On p. 5, "initial (see 9.2.2.1)", should be 9.2.1.

"outside of" and "inside of" should be just "outside" and "inside".

In Syntax 14-3, checker_or_generate_item_declaration should have comment
"// from A.1.8". Similar comments should be added elsewhere where BNF is
excerpted.

Also there, the line "| clocking_declaration" should not be excerpted,
for consistency with module_or_generate_item_declaration above.

In A.10, the new footnote 3 should have text in blue, not black.

In 22.10, checker_instantiation needs to be added to bind_instantiation
in Syntax 22-7.

Add checkers to the list "module, interface, or program" in the first
paragraphs in 3.7 and 3.9, to 3.11c) and e), to 6.21 (see latest version
in Mantis 2106), 6.22 paragraph 3, 14.7, 14.11, 3.2, 16.15, 22.2.2.2,
22.8, 36.13 Note 10. It will not be correct to add them everywhere to
that list because there are some differences (e.g., ports do not have
directions, no parameters).

In A.1.2, in checker_declaration, the last line should say "endchecker [
: checker_identifier ]".

Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6582
+972 54 721-1
---------------------------------------------------------------------
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.