Hodgkin-Huxley Verilog-A Electrical Neuron Membrane Model | IEEE Conference Publication | IEEE Xplore