Highly Parallel Sorting Network Verification Using FPGAs. - Papaphilippou, Philippos (Chips, 2026)