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?
could you use condition "B(i)<=B(i+1)" to generate an event and use this event to trigger your coverage?
B(i) and B(i+1) are the same variable, but in two different time. According to you advise, I need to redord the previos value of B. Am I right?
I think record the previous value of B is helpful to finish this task.