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

Mantis 3069 _X__ Yes ____ No

http://www.eda-stds.org/mantis/view.php?id=3069
http://www.eda-stds.org/mantis/file_download.php?file_id=4971&type=bug

[Seligman, Erik] Friendly amendment: aren't we now supposed to have a title line at the top of the PDF, stating which Mantis it's for?

Mantis 3295 _X__ Yes ____ No

http://www.eda-stds.org/mantis/view.php?id=3295
http://www.eda-stds.org/mantis/file_download.php?file_id=4978&type=bug

[Seligman, Erik] Friendly amendments:

- 1st paragraph in 20.11: remove 'the' in 'the expect statements', and add 'the' before $assertcontrol in 'The arguments for $assertcontrol system task..."

- Directive_type bullet: capitalize I in 'if' at start of last sentence.

- In the coding example, I think we should define ALL_DIRECTIVES and ALL_ASSERTS in terms of |s of the other symbols, rather than directly providing the ORed numbers 7 and 15.

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