[sv-ac] RE: Call to vote: Due March 14

Hi,

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Little Scott-B11206
Sent: Monday, March 14, 2011 3:15 PM
To: Korchemny, Dmitry; 'sv-ac@eda-stds.org'
Subject: [sv-ac] RE: Call to vote: Due March 14

Mantis 2476 __X__ Yes ____ No
http://www.verilog.org/mantis/view.php?id=2476
http://www.eda-stds.org/mantis/file_download.php?file_id=4828&type=bug

The strikethrough in the Syntax 20-14 figure seems to be missing the assertion_function production.

[SB] I think you meant assert_function.

In the paragraph following the definition of the bit vector system functions in terms of $countbits the sentence, "The return type of $countones is int. " occurs twice. I believe that the second sentence should contain $isunknown instead of $countones.
[SB] The paragraph says,

"The expression argument to each of the above functions follows the same rules as the expression argument to $countbits. The return type of $countones is int. The return type of $onehot, $onehot0, and $isunknown is bit. The return type of $countones is int."

So $isunknown is already covered. I think the two $countones sentences should be combined, "The return type of $countbits and $countones is int."

Shalom
---------------------------------------------------------------------
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, and is
believed to be clean.