Nicholas D. Skuda, Catherine D. Schuman, Gangotree Chakma, James S. Plank, Garrett S. Rose: High-Level Simulation for Spiking Neuromorphic Computing Systems. ISCAS 2018: 1-5