RE: [sv-ac] Call to vote: Due May 2

Mantis 3213 ____ Yes __ X __ No

http://www.verilog.org/mantis/view.php?id=3213

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

This document needs more work. Here are my comments:

1. In 16.2, instead of 'evaluate their variables' it should be
'evaluate their expressions'.

2. In 16.5.1, the second sentence of first paragraph is incomplete.
Also, last sentence of the last paragraph is incomplete.

3. In 16.5.2, it mentions 'such as checker arguments', it would be
better to get rid of this reference as this will require changes again
when checker argument sampling changes.

4. In the same section, the value of an automatic variable in concurrent
context is not its current value. The value of automatic variable is its
const value (which you get by doing const'()). This const value is
picked up at the time statements corresponding to concurrent assertion
or checker instantiation are reached in the procedural evaluation. So,
the explanation of const cast expression has to be re-written.

5. In 16.6, it is not clear if automatic variables are allowed in
disable iff condition. If they are, then their constant value has to be
used.

6. 16.9.3, In the paragraph after example, sentence "This is because in
action blocks are evaluated .." seems to be missing something.

7. 16.9.4, the deleted part for $rising_gclk() is wrong. Also, I do not
understand the meaning of 'from the postponed region of' in the
sentence.

8. 16.15.6.1, the deleted part at the beginning is not completely
redundant as it tries to remove any confusion. It should be mentioned
that concurrent values of the expressions are used for procedural
assertions also. Now, explanation of const expression can follow that
statement.

---------------------------------------------------------------------
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.