I have a question about transition coverage.
I have two variables, A and B, A and B both have several values. If I want to do transition coverage on the condition below:
bins[ ] trans_cov: A(i) => A(i+1) iff ( B(i) <= B(i+1) ), this means only when B changes to a larger value, I will do the transition coverage.
How should I realize it?