[sv-ac] FW: $isunbounded and $ - erratum #966

 
Hi all,

I have modified the proposal for 966 as follows:

- corrected the example on page 68. 
However, I am not sure if the expression
if (!$isunbounded(x) && (x == 0)) begin...
would evaluate correctly in the presence of $ assigned to x. That is,
will 
false && anything be evaluated pre-emptively without evaluating the
"anything"?
If not then the example is still not good and actually it might be
better to skip it entirely, keep the 2nd example only.

- added a sentence regarding the use of parameter that was assigned $ on
page 67.

Let me know your thoughts. If you agree I will put it on Mantis.

Thanks,
ed