ASIC Design Verification for Neuromorphic Computing