// prio_enc_eq.sv — miter: both versions, same inputs, outputs must match
module prio_enc_eq (input logic [7:0] req);
  logic [2:0] idx1, idx2;
  logic       any1, any2;

  prio_enc_v1 u_ref (.req, .idx(idx1), .any(any1));
  prio_enc_v2 u_imp (.req, .idx(idx2), .any(any2));

  always_comb begin
    a_idx_eq: assert (idx1 == idx2);
    a_any_eq: assert (any1 == any2);
  end
endmodule