AugerPrime Surface Detector Electronics: requirements, verification and performance | Synapse