Correctness and performance of the SpiNNaker architecture | IEEE Conference Publication | IEEE Xplore