if (recovery)
  begin
    for (i=0; i<numcpu; i=i+1)
    begin
      next_owner_state[i][recov_addr[12:4]] = recov_state[i];
      if (recov_state[i] == 1'd1)
      begin
        next_owner_tag[i][recov_addr[12:4]] = recov_addr[18:13];
      end
    end
  end