Subject: [sv-ac] Missed point about first_match (sequence_expr)
From: Adam Krolnik (krolnik@lsil.com)
Date: Thu Apr 10 2003 - 12:08:33 PDT
Good afternoon;
I missed asking this question.
On page 189, it states, "The result of property evaluation is either true or false. ...
This is accomplished by implicitly transforming sequence_expr to
first_match(sequence_expr). As soon as a match is determined the result is considered
to be true and no other matches are required.
However for implication, then the semantics of implication determine whether the
property is true or false.
So assert property (sequence)
will only result in a single pass or fail.
For an implication, it is thus possible for a property to pass and fail multiple times?
Is this how this should be read?
This seems inconsistent to me. At least, we should explain this when implication is
used, so that we are clear.
Any other comments on this?
Adam
This archive was generated by hypermail 2b28 : Thu Apr 10 2003 - 12:09:18 PDT