[sv-ac] Special assert syntax

Hi,
Recently I came across one particular assert syntax which supported by a 
standard simulator. This SVA feature involves so called "final assertions".
which have a form such as:

assert final (a) else $error ("Failed");

It appears that assertions of this type would be acceptable inside and 
outside procedural
code.

Though I did not see any such enhancements in SV 2009 draft LRM. Can 
anybody let me know the details about this syntax.

-- 
Regards
Surya




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