Возможно, вы можете использовать операцию битового среза.Например, для сравнения битов 12–7 некоторых x
с битами 12–7 некоторых y
:
check that x[12:7] == y[12:7]
Или в вашем конкретном примере это может быть:
check that ins.dout_1[12:7] == (ins.din1_1 + ins.din2_1)[12:7]