Encoding, Model, and Architecture: Systematic Optimization for Spiking Neural Network in FPGAs | IEEE Conference Publication | IEEE Xplore