NeuCASL: From Logic Design to System Simulation of Neuromorphic Engines