[sv-bc] packages and compilation-unit scope inconsistencies

There are some small inconsistencies between how packages and
compilation-unit scopes are described.

3.12.1 says, "The compilation-unit scope can contain any item that can
be defined within a package (see 26.2)."

26.2 says, "Types, nets, variables, tasks, functions, sequences,
properties, and checkers may be declared within a package."
That list should include parameters as well.

3.13(c) says, "The compilation-unit scope name space exists outside the
module, interface, package, checker, program, and primitive constructs.
It unifies the definitions of the functions, tasks, checkers,
parameters, named events, net declarations, variable declarations, and
user-defined types within the compilation-unit scope."
That list is missing sequences and properties.

Also, that list includes "named events". That should probably be
deleted, as named events are now just a kind of variable. The same is
true for 3.13(e) and (f).

Shalom

Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6582
+972 54 721-1033

---------------------------------------------------------------------
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.