Reliable Design of Neuromorphic Computers