RE: [sv-ac] another small flaw in 1549 Annex F

It looks OK to me.

Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Sunday, September 30, 2007 7:34 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] another small flaw in 1549 Annex F

Hi Folks:

I am really trying to finish with 1549 Annex F changes.

I found another small flaw.  It amazes me how troublesome parentheses
are.

The flatten_property function returns a parenthesis-enclosed
expression.  If a "disable iff" appears inside the declaration of a
named property that is instantiated as the top-level property in an
assertion directive, then the result is that the "disable iff" is
enclosed in an extra set of parentheses.

On this point, we need to use the abstract syntax to judge what is
legal because the extra parentheses are not allowed in the Annex A
syntax.

The extra parentheses are already allowed in the abstract syntax if
there is a local variable declaration, but they are not allowed if
there is no local variable declaration.

I have puzzled about how to fix this easily.  The best way I have
thought of is to add a "parenthesis" form for the top-level property
grammars for T and U.  This means adding some trivial cases to the
top-level satisfaction relations, but that is not hard.  I just have
to go find that other Mantis item that is already fixing the
descriptions of those relations to ensure that the changes are
aligned.

Comments or alternative suggestions?

J.H.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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