Subject: [sv-ac] Annex H Errata
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Mon Feb 16 2004 - 13:25:59 PST
Hi David,
Due to the special fonts used in Annex H, it is hard to create a pdf doc
for the errata. Instead, a text version describes the required changes
below created by John.
Surrendra
Errata, Annex H
1. p. 536, H.2.2. Change
P, P_1, P_2 denotes an unclocked property
to
P, P_1, P_2 denote unclocked properties
2. p. 539, H.3.3.1, first bullet under "Neutral satsifaction of assertions".
Change
{\overline{w}}^i
to
\overline{w}^i
The braces "{}" should not appear. Here, w and i are both italic. I am
writing "\overline{w}" to mean w with an overline, but no braces. The
braces in "\overline{w}" just show that only w is overlined. The result of
this change should be that
\overline{w}^i |= b
looks just like the preceding
\overline{w}^i |= c
with the exception that "b" appears instead of "c".
3. p. 541, H.3.5. JH20 has created a bad line break:
... w, L_0, L_1 |== R implies dom(L_1) = flow
(dom(L_0), R)
If possible, keep "flow(dom(L_0), R)" on the same line. Breaking after "="
is fine.
4. p. 543, last two bullets of H.3.6.1. The keywords "or" and "and" should
be in courier bold rather than roman bold.
5. p. 544, H.5. For consistency across SystemVerilog, it has been decided
that the phrase "defined property" should be "named property" and the
phrase "property definition" should be "property declaration". The
following changes are needed to make Annex H consistent.
In the third, fourth, and fifth paragraphs:
- change "Defined property" to "Named property" (1 instance)
- change "defined property" to "named property" (3 instances)
- change "defined properties" to "named properties" (2 instances)
- change "definition of property" to "declaration of property" (1 instance)
- change "definition of q" to "declaration of q" (2 instances)
- change "q is defined by" to "q is declared as"
Change
Let p(X) be an instance of a recursive defined property p
to
Let p(X) be an instance of a recursive named property p
In the two dashed items near the end, change "definition of" to
"declaration of" (4 instances).
**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752
Tel: 508-263-8072
Fax: 508-263-8123
email: Surrendra.Dudani@synopsys.com
**********************************************
This archive was generated by hypermail 2b28 : Mon Feb 16 2004 - 13:33:06 PST