RE: [sv-ac] call to vote on 1641

I don't have a vote, but I have some comments:

> I have uploaded a new version of the proposal based on the 
> friendly amendments suggested so far (also attached here).


1. The relationship between the user-defined message and the
tool-specific message is a little unclear. Presumably the intention is
for the tool-specific to include the user-defined message or print the
user-defined message as an additional message. However, one might
interpret this as saying that the user-defined message, if provided,
overrides the tool-specific message. I think this should be clearer.

2. Syntax 19-9 includes "message_argument ::= string | expression". But
'string' is a BNF keyword, see the definition of "data_type". What is
the intent, a string literal? Doesn't 'expression' actually cover that?
Note that the somewhat informal syntax of $display just says
'list_of_arguments'. Do you need to be different from $display?

3. 16.3 includes the following text:

"The execution of pass and fail statements can be controlled by using
assertion action control tasks. The assertion action control tasks are
described in 19.11.

The optional statement label (identifier and colon) creates a named
block around the assertion statement (or any other SystemVerilog
statement) and can be displayed using the %m format specification.

assert_foo : assert(foo) $display("%m passed"); else $display("%m
failed");

The assertion control system tasks are described in 19.10.

Because the assertion is a statement that something must be true, the
failure of an assertion shall have a severity associated with it."

So the text is talking about action blocks and the severity tasks you
can call from them. In the middle of this, I find the statement "The
assertion control system tasks are described in 19.10," out of place and
puzzling.

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