[sv-ac] RE: New versions of 3036 and 3037 uploaded

Hi,

Regarding 3036, you added the following text:

"The argument expression of these functions shall be of a bit stream type. For the purposes of calculating the return value, expression is treated as a packed bit vector using {>> logic{expression}} conversion (see 11.4.14.1). If the function is used in an assertion then its argument shall be of a bit stream type legal in assertions. For example, $onehot0(A) shall not be used an assertion if A is a dynamic array."

I don't object to the intent, but I have a little trouble with the wording.

"packed bit vector" is redundant, though not incorrect, as a vector is packed by definition. See 6.9.

"{>> logic {expression}}" - do you need "logic"?

More problematic is that 11.4.14.1 says, "It shall be an error to use a streaming_concatenation as an operand in an expression without first casting it to a bit-stream type."

In the last sentence, "in" should be inserted -> "used in an assertion".

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