RE: [sv-ac] Special assert syntax

The syntax in the LRM 09 is

assert #0 (a) else $error ("Failed");

Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Kulshrestha, Manisha
Sent: Monday, March 09, 2009 10:59 AM
To: Surya Pratik Saha; sv-ac@server.eda.org
Subject: RE: [sv-ac] Special assert syntax

Hello Surya,

The syntax you have mentioned is not in the standard. But the standard has an equivalent feature called 'deffered assertions'. They are described in 16.4. I am not aware about the exact differences but deferred assertions were based on assert final concept.

Manisha

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Surya Pratik Saha
Sent: Monday, March 09, 2009 1:22 PM
To: sv-ac@server.eda.org
Subject: [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.


--
This email was Anti Virus checked by Astaro Security Gateway. http://www.astaro.com

-- This message has been scanned for viruses anddangerous content by MailScanner, and isbelieved to be clean.

---------------------------------------------------------------------Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material forthe sole use of the intended recipient(s). Any review or distributionby others is strictly prohibited. If you are not the intendedrecipient, please contact the sender and delete all copies.
-- This message has been scanned for viruses anddangerous content by MailScanner, and isbelieved to be clean.