Journal
NEURAL COMPUTATION
Volume 27, Issue 10, Pages 2148-2182Publisher
MIT PRESS
DOI: 10.1162/NECO_a_00772
Keywords
-
Funding
- EPSRC (the U.K. Engineering and Physical Sciences Research Council) [EP/G015740/1, EP/G015775/1]
- ARM Ltd
- European Research Council under the European Unions Seventh Framework Programme (FP7) / ERC [320689]
- EU Flagship Human Brain Project [FP7-604102]
- EPSRC [EP/G015775/1, EP/G015740/1] Funding Source: UKRI
- Engineering and Physical Sciences Research Council [EP/G015775/1, EP/G015740/1] Funding Source: researchfish
Ask authors/readers for more resources
Simulation of neural behavior on digital architectures often requires the solution of ordinary differential equations (ODEs) at each step of the simulation. For some neural models, this is a significant computational burden, so efficiency is important. Accuracy is also relevant because solutions can be sensitive to model parameterization and time step. These issues are emphasized on fixed-point processors like the ARM unit used in the SpiNNaker architecture. Using the Izhikevich neural model as an example, we explore some solution methods, showing how specific techniques can be used to find balanced solutions. We have investigated a number of important and related issues, such as introducing explicit solver reduction (ESR) for merging an explicit ODE solver and autonomousODEinto one algebraic formula, with benefits for both accuracy and speed; a simple, efficientmechanism for cancelling the cumulative lag in state variables caused by threshold crossing between time steps; an exact result for the membrane potential of the Izhikevich model with the other state variable held fixed. Parametric variations of the Izhikevich neuron show both similarities and differences in terms of algorithms and arithmetic types that perform well, making an overall best solution challenging to identify, but we show that particular cases can be improved significantly using the techniques described. Using a 1 ms simulation time step and 32-bit fixed-point arithmetic to promote real-time performance, one of the second-order Runge-Kutta methods looks to be the best compromise; Midpoint for speed or Trapezoid for accuracy. SpiNNaker offers an unusual combination of low energy use and real-time performance, so some compromises on accuracy might be expected. However, with a careful choice of approach, results comparable to those of general-purpose systems should be possible in many realistic cases.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available