%0 Journal Article %T Verification and Design Methods for the BrainScaleS Neuromorphic Hardware System %A GrĂ¼bl, Andreas %A Billaudelle, Sebastian %A Cramer, Benjamin %A Karasenko, Vitali %A Schemmel, Johannes %J Journal of Signal Processing Systems %V 92 %N 11 %P 1277-1292 %@ 1939-8018 %D 2020-11-09 %I Springer US %~ DeepDyve