Here you can find models for memristors implemented in Verilog-A (compatible with SPICE) and MATLAB (including GUI). The models are based on the paper:
S. Kvatinsky, Eby G. Friedman, Avinoam Kolodny, and Uri C. Weiser, "TEAM: ThrEshold Adaptive Memristor Model," IEEE Transactions on Circuits and Systems I: Regular Papers (also CCIT Technical Report #804), Vol. 60, No. 1, pp. 211-221, January 2013.
And include the following models:
1. Linear ion drift model.
2. Nonlinear drift model.
3. Simmons tunneling barrier model.
4. TEAM - ThrEshold Adaptive Memristor Model.
We wrote a short manual for these models. The Verilog-A model is also described in the following paper:
S. Kvatinsky, K. Talisveyberg. D. Fliter, E. G. Friedman, A. Kolodny, and U. C. Weiser, "Models of Memristors for SPICE Simulations," Proceedings of the IEEE Convention of Electrical and Electronics Engineers in Israel, pp. 1-5, November 2012. pdf
For any questions, contact me.
Note: for Virtuoso 6.1.5 there is a bug in some versions - use version 6.1.5-64b (IC06.15.500)
Download from here:
MATLAB Model - Including GUI