I am writing assertions for some of the sequences. I want to update a register after an assertion is covered and use the register value to CROSS with an other register value, Can you please guide me on the implementation of the above problem statement.