[sv-ac] P1800 AC 298 - uplodade a new version of the proposal

Hello,

as discussed I added a sentence about using sampled value functions in
disable iff expressions.

The following was added to the last paragraph of the preceding proposal:

--
If a sampled value function (Section 17.7.3) is used in the expression, the
sampling clock must be explicitly specified in the actual argument list. For
example,
assert property ( @(posedge clk) disable iff (a && $rose(b, posedge clk))
trigger |=> test_expr );
The disable iff expression will pre-empt the evaluation of the assertion in
a time step where a is 1 and the sampled value function returns a 1 as
determined by the rules of evaluation for use outside sequences described in
Section 17.7.3.
--
Best regards,
ed