A High-Level Methodology to Evaluate and Optimize Digital Architectures Targeting Spike Encoding | IEEE Journals & Magazine | IEEE Xplore