In the I3C we have the following comparison of an async signal i3c_sda_i: `assign arbitration_lost = i3c_sda_i != i3c_sda_o;` Instead we should i3c_sda_i -> synchronizer -> compare with i3c_sda_o -> qualify with posedge of synced version of SCL