[sv-ac] New version of 3385 uploaded

This version implements the friendly amendments below. I don't see anything controversial here, so I think it should be ready for voting.

---------------------------

The proposal was approved with friendly amendments by the Champions in the email vote which ended August 5, 2011.

Friendlay amendments:

Dave -

Replace

   So the deferral and flushing prevented a report from the first failure of

   a1 as expected.

With

   The deferral and flushing prevented a report from the first failure of

a1

   as expected.

Shalom -

- The text contains this sentence:

   "Actual argument expressions that are passed by value use the values of the

   underlying variables at the instant the deferred assertion expression was

   evaluated."

and adds this sentence:

   "Actual argument expressions that are passed by value, including function

   calls, shall be fully evaluated at the time the deferred assertion

   expression is evaluated."

Doesn't the second sentence make the first redundant?

In any case, the text should be made consistent: "at the instant" vs. "at the time", "was evaluated" vs. "is evaluated".

- In the code example, the quotation marks should be straight.

- In the sentence, "Suppose block b1 is executed twice in the Active region of

  a single time step, with my_cond == 0, so it fails assertion a1 both times,"

  the end should probably be, "fails assertions a1 and a2 both times."

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