Subject: Re: [sv-ac] Operator precedence chart
From: Cindy Eisner (EISNER@il.ibm.com)
Date: Wed Mar 26 2003 - 23:49:49 PST
adam,
for reference, the precedence of psl (from highest to lowest) is:
clock operator
concatenation, consecutive repeat, nonconsecutive repeat, goto repeat
overlapping concatenation, or, and, intersection
implication
fl occurence operators (always never eventually! next* within* whilenot*)
termination operators (abort until* before*)
notes:
1. the group {overlapping concatenation, or, and, intersection} require
their operands to be parenthesized. therefore, there is no strangeness in
the fact that these have equal precedence in psl
2. psl's within operator is different than sva's.
cindy.
Cindy Eisner
Formal Methods Group Tel: +972-4-8296-266
IBM Haifa Research Laboratory Fax: +972-4-8296-114
Haifa 31905, Israel e-mail:
eisner@il.ibm.com
Adam Krolnik <krolnik@lsil.com>@eda.org on 25/03/2003 20:19:15
Sent by: owner-sv-ac@eda.org
To: sv-ac@eda.org
cc:
Subject: [sv-ac] Operator precedence chart
Good afternoon;
Is someone addressing the operator precedence?
I would propose a precedence of:
consecutive repeat, nonconsecutive repeat, goto repeat
concatenation
and
or
boolean until (throughout)
within
implication
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Wed Mar 26 2003 - 23:46:27 PST