RE: [sv-ac] Call to vote. Due August 9

 
SVDB 2485 _X_Yes ___No

http://www.eda-stds.org/mantis/view.php?id=2485

http://www.eda-stds.org/mantis/file_download.php?file_id=4374&type=bug

[JH]

Friendly amendment: I think that the indefinite article "an" needs to
be added: "An immediate assertion statement can be _an_ immediate
assert, _an_ immediate assume, or _an_ immediate cover."

SVDB 2558 _X_Yes ___No

http://www.eda-stds.org/mantis/view.php?id=2558
<http://www.eda-stds.org/mantis/view.php?id=2558>

http://www.eda-stds.org/mantis/file_download.php?file_id=4378&type=bug

[JH]

Consider adding a reference to 6.21 in place of the text stricken out.

SVDB 2412 ___Yes _X_No

http://www.eda-stds.org/mantis/view.php?id=2412
<http://www.eda-stds.org/mantis/view.php?id=2412>

http://www.eda-stds.org/mantis/file_download.php?file_id=4439&type=bug

[User]

I think that there should be a "For example" lead in for the example
added to 16.6.

I think that the "otherwise" for the default clocking rule in 16.9.3 is
needed. I think that the rules are contradictory without it. A similar
comment applies to the rules proposed for 16.14.6.

I recommend changing "an unclocked sequence" to "a sequence" in

   The following rules are used to infer the clocking event for an
unclocked sequence:

Rationale: The inference should apply to any sequence and the clock
flow rules should determine how the inferred clock applies to various
parts of the sequence instance. For example, the sequence might have no
leading clock, but might have a later clock specified.

There are a number of places in the text to be added to 16.14.6 that
similarly focus on unclocked sequences. I think that these references
should be generalized. Sequence e7, for example, illustrates the clock
inference and flow in a partially clocked sequence (and its instances).

---------------------------------------------------------------------
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 <http://www.mailscanner.info/> , and is
believed to be clean. 
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.