Subject: Comments on P1364.1/Draft 2.3, Clause 6
From: Shalom.Bresticker@motorola.com
Date: Sun Oct 06 2002 - 02:25:49 PDT
6.1, Para. 1 (after NOTES) starts, "IF a synthesis tool supports pragams ...".
Later on, it says, "The following is the list of synthesis attributes that SHALL
be supported...".
These seem to be contradictory.
6.1, NOTES: There are three sets of NOTES in this subclause. I think IEEE Style
Manual requires them to be consecutively numbered (1 to 7).
6.1, Para. 1, line 2: "and that the first attribute" is bad English. Put period
after preceding word, "information", then start new sentence, "The first
attribute ...".
6.1, after Para. 1, the attribute template shows
<attribute=value_or_optional_value>. But in most cases, the = as well as the
value are both optional.
6.1, Para. 3 (not counting NOTES), Line 3: "is not defined" should be "are not
defined".
6.1, Para. 3, line 4: "as if value is non-zero" should be "as if the value is
non-zero".
6.1, Last text paragraph, "Only synthesis attributes shall be placed in an
(single) attribute instance with other synthesis attributes. Non-synthesis
attributes may be placed along with other synthesis attributes ..."
This sounds contradictory. Change "attributes" to "attribute instances" in the
second sentence.
6.1.1.1, Note 2: "If multiple outputs are assigned by the specified case items":
This is not relevant. The problem can occur even with a single output.
6.1.1.3, Note: This note belongs to 6.1.1.1, not here.
6.1.1.3, Note: This note says that the risk is that the user could be wrong
about the fullness of the case. This somewhat contradicts 6.1.1.1 Note 2 which
warns that full case does not guarantee that a latch will not be inferred.
6.1.2: For each of 6.1.2.1-3, the sentence "The following attributes ..." should
FOLLOW the subclause heading. Also, "attributes" should be singular.
6.1.3, Para. 2 says, "If a synthesis supports FSM extraction, then the following
attribute shall also be supported." But 6.1 says, "The following is the list of
synthesis attributes that SHALL be supported..." Contradiction.
6.1.4.5, Para. 3: "The internal" should be "The internals".
6.1.4.5, Para. 5: This para. does not specify what happens to a reg without an
fsm_state attribute.
6.1.4.5, Para. 5: "reg, with the fsm_state attribute" - delete comma.
This archive was generated by hypermail 2b28 : Sun Oct 06 2002 - 02:45:26 PDT