[sv-ac] vpi object model for "assertion"

Hi,

in clause 36.42 Assertion of draft 3a, should "property inst" and
"sequence inst" be instead "property decl" and "sequence decl"?

In general we do not seem to provide update for this object model in our
proposal, how is it updated?

Thanks,
ed



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