Spice Simulation including Verilog model
Varilog is typically used to model digital systems. Your magnetic tunnel junction, as well as your simulator, are analog systems. Are you sure you know what you're doing?

In any case, there already exists spice models for magnetic tunnel junction devices. 

Here is a link: http://mtj.umn.edu/Downloads.html