Efficient Spiking Neural Networks with Radix Encoding