[sv-bc] const constants

Hi,

1. 6.3.5 (Const constants) does not seem very clear as to what consts are, where they can and cannot be used, what can and cannot be done with them.

2. 6.3.5 does not even seem to say explicitly that they cannot be assigned values outside of their declarations. The closest to that is a statement that "the object acts like a variable that cannot be written", but that is talking about classes, not consts in general. A statement like "a const can be set
during simulation", which also appears, muddies the issue.

3. Can consts be used in constant expressions? It does not seem to say.

4. The sentence, "An automatic constant declared with the const keyword can be set to any expression that would be legal
without the const keyword." is also very unclear. What is it trying to say?

5. Contrast the following two lists:
"A value parameter (parameter, localparam, or specparam) can only be set to an expression of literals,
value parameters or local parameters, genvars, enumerated names, or a constant function of these."

"A static constant declared with the const keyword can be set to an expression of literals, parameters, local
parameters, genvars, enumerated names, a constant function of these, or other constants."

The second list adds "or other constants". What other constants are being referred to?

Thanks,
Shalom

Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6852
+972 54 721-1033
I don't represent Intel