Memristor behavioural modeling and simulations using Verilog-AMS | IEEE Conference Publication | IEEE Xplore