Modeling and verification for a scalable neuromorphic substrate - Müller, Paul (2017)