[sv-ac] solution with case

Hi Yaniv:

We should also look for a solution that gives most of the syntax that we
want and leaves the VPI backward compatible.

To do this, we may need to sacrifice changing the property_spec, in
which case semicolon would still be required after top-level endcase
in a property declaration.

We could leave if-else in property_expr and also put it in
property_statement.  For the if-else in property_statement, we could
ask the "then" and "else" parts both to be property statements.  This
would force uniformity between them.

We would leave

   property_expr ::=
      ...
      | property_statment
      ...

J.H.




   

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.