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));
}