Integer-State Dynamics of Quantized Spiking Neural Networks for Efficient Hardware Acceleration
This work addresses hardware efficiency for SNN implementations, but it is incremental as it introduces a framework for analysis without major breakthroughs.
The paper tackled the problem of how finite-precision integer arithmetic in spiking neural networks (SNNs) alters network dynamics beyond approximation, by modeling them as deterministic maps on a bounded integer lattice, and found that quantization sensitivity leads to bounded and recurrent temporal structures dependent on representation semantics.
Spiking neural networks (SNNs) support energy-efficient machine intelligence because event-driven computation and sparse activity map naturally to low-power digital hardware. In practical implementations, however, membrane states, synaptic weights, and thresholds are represented with finite-precision integer arithmetic. Quantization, clipping, and overflow can therefore alter network dynamics, not just approximate a higher-precision model. This paper adopts an integer-state dynamical perspective, modeling a hardware-oriented SNN as a deterministic map on a bounded integer lattice. Under this view, recurrence, periodic orbits, and regime changes become intrinsic properties of the system. We introduce a lightweight update rule with integer-valued states and shift-based leakage, and demonstrate the approach through exploratory simulations with network sizes N = 30-130, connection densities 0.1-0.9, and bit widths 4/8/16 over T = 1000 steps. The results show bounded and recurrent temporal structure with strong quantization sensitivity. The observed regimes depend heavily on representation semantics and scaling choices. These findings suggest that numerical precision acts as a dynamical design variable and highlight integer-state analysis as a useful framework for hardware-aware SNN co-design, motivating future work on attractor analysis, precision-aware training, and FPGA/ASIC validation.