[sv-ac] New proposals uploaded for 3385, 2476, 3206, 3145

Here's a summary of my changes. The .docx versions uploaded also have change tracking on if you want more detail.

3385: The text change was in a paragraph that I touch in 3206 anyway, so to avoid confusion I removed it completely from this one, and 3385 now just adds the example (no changes from before). Since the text change was just a clarification, this proposal is valid even if 3206 is ultimately rejected. The clarification is incorporated into the 3206 text. Should be ready for revote.

2476: Mainly font/style changes, with a minor rephrasing where we describe the control_bit: "This function returns an int equal to the number of bits in expression whose values match one of the control_bit entries.". Should be ready for revote.

3206:

- Added notes to the editor for each BNF to point out newly added red text

- Fixed the text paragraph in 16.4 to incorporate the 3385 reprhrasing: Actual argument expressions that are passed by value, including function calls, shall be fully evaluated at the time the deferred assertion expression is evaluated.

- Fixed extra space/period

- Added "for observed deferred assertions" at end of " Due to their execution in the non-iterative Postponed region, final deferred assertions are not vulnerable to the potential glitch behavior described above for observed deferred assertions."

- Modified example: added more detail to the clocking block. Manisha, does this address your issue?
If Manisha approves of the example, it should be ready for a revote.

3145: First attempt to define 'maximal property'. Reviewers (& anyone else interested), please take a look and suggest improvements.

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