[sv-ac] Updated proposal for Mantis - restrict property statement

Hi, please find attached and also on Mantis, an updated proposal for the
restrict property assertion statement, aligned with Draft 4. 
I did not have the source for the vpi diagrams hence I just pointed to
the required change there. If someone has an editable form I would
update the figure too.
Let me know if you find any other issues. 
Best regards,
ed
 

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