TY - RPRT TI - Verification and Design Methods for the BrainScaleS Neuromorphic Hardware System AU - Andreas GrĂ¼bl AU - Sebastian Billaudelle AU - Benjamin Cramer AU - Vitali Karasenko AU - Johannes Schemmel PY - 2020 UR - https://arxiv.org/abs/2003.11455 ID - 2003.11455 ER -