High level abstraction of memristor model for neural network simulation | IEEE Conference Publication | IEEE Xplore