[sv-ac] SV-AC erratum 928

Hello Hillel,

I was going to edit the original proposal to remove the redundant
list_of_formals to also remove formal_list_item and actual_arg_expr. But
then Manisha and you have also noted that tf_port_list does not allow
default value assignment other than expression, eliminating
event_expression, sequence_expr and property_expr as the argument.

Since you have most of the proposal in the comments in the erratum, are
you planning to make a formal proposal from it?

If yes, then I think it needs small changes:

- removal of list_of_formals, formal_list_item, actual_arg_expr

- ps_actual_arg ::=
  event_expression | expression | sequence_expr | property_expr

that is, change $ to expression and property_spec to property_expr. The
latter is because disable iff cannot be nested and clock is already in
property_expr. 

Best regards,
ed