Assigning a bit in SV Assertion

In reply to dave_59:

Hi Dave,

The match_found bit should be set whenever a first match occurs depending upon the comparison statement in the consequent expression. The bit should be reset again when a write_cycle is detected. This is the behaviour that I want. The match_found bit is used to check that the comparison statement that was used inside the first_match() remains valid as long as next write_cycle is detected. That bit is used in an always_comb procedural block.