[sv-ac] brief review of 2173

Hi Yaniv:

I have read through your proposal for 2173.

I haven't checked things like VPI.  It looks basically
good, but there are some things missing.

I don't think that the syntax you proposed will
allow for something like

   property p;
      s 
      |=>
      case (w)
         a:  p1;
         b:  p2;
         default:  p3;
      endcase
   endproperty

or similar with case replaced by if-else.  We can't 
eliminate these capabilities.  I think that to make this
work we need to allow for

   property_expr ::= property_statement

I think that this basically says that you are free to add
semicolons at the ends of property_expr or property_statement,
but you don't have to put them after things like case and if-else.

There could be objection to this solution of the syntax problem,
since things like

   if (b) p;;; else q;;;;

would be allowed.

We also need to think about operator precedence for case.

J.H.

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