An Operator-Theoretic Framework to Simulate Neuromorphic Circuits