RE: [sv-bc] Agenda: March 27 SV-BC Errata Committee Meeting

Comments:

> http://www.eda.org/svdb/bug_view_page.php?bug_id=0001002

[Shalom] The proposal does not resolve the issue of whether in a
blocking assignment the order of evaluation of the variable_lvalue  and
the right-hand side expression is defined.

I also think the paragraphs in question in 9.2.1 and 9.2.2 should xref
to 11.6.3 and 11.6.4, respectively.


> http://www.eda.org/svdb/bug_view_page.php?bug_id=0001005

[Shalom] I think the proposal to change big_vect to down_vect and
little_vect to up_vect is good.


> Close?
> http://www.eda.org/svdb/bug_view_page.php?bug_id=0000099

[Shalom] I'm not sure that 'case inside' is what the original proposal
was looking for. As I understand it, the proposal was for a wildcard
mechanism that would match 0 and 1, but not x or z. The existing
wildcard mechanisms match anything, being a total don't-care. Closing
this issue is essentially rejecting the proposal.


> 03/13/2006 Gord send a summary of issues related to '$' to SV-
> EC & SV-AC
> summary: Parameter assigned to $ can only be used in
> $isunbounded
> function,
> use in context where unbounded is valid or pass to another
> parameter.

[Shalom] Not clear to me. Can a parameter to which $ is assigned (not
"parameter assigned to $") not be used in an open_value_range or in a
select for a queue variable (Annex A Note 22) ?

Thanks,
Shalom