Transition between two parallel sequence

Hi,

I have a mux which has 2 inputs with 1 select.
Each one of the inputs is 8 bits length.
I need to check that clock after clock I have a cross between all the values of the inputs.
I mean:
#1 - input #1 with one of its values
#2 - input #2 with one of its values
both inputs can have the same values, but depending on the select I have to make a “kind of cross” between them to ensure they have no side effect one on the other when they happen one clock after the other.

I tried the following but the compiler didn’t like it :-)

X1_after_X2_cp: coverpoint dut.clk
{
bins X1_after_X2 = ((all_X1_val) iff (mux_select) => (all_X2_val) iff (!mux_select));
}

In reply to Paolo55:

Hi Paolo,
I didnt get your question. Would you explain it again? From the bin you have coded above, you are trying to code a transition sequence.

Regards,
Priyank