[sv-ac] review of clause 19 and Annex Q

Hi,

 

I have reviewed clause 19 and annex Q. I found problems only with 1769
implementation. Here are the details:

 

I see one complete paragraph missing from 1769 after first syntax box:

list_of_arguments may only contain a formatting string and constant
expressions, including constant

function calls. If a call to such a task remains in the elaborated model
after any generate construct expansion,

the task is executed. Depending on the severity of the task the
elaboration may be aborted or continue to

successful completion. If more than one elaboration system task call is
present, they may be executed in any

order.

 

The name of syntax box "Assertion system task syntax" is wrong

 

The statement "The tool-specific message shall include the user-defined
message if specified." . This statement should not be combined with the
previous statement.

 

Thanks.

Manisha


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.