Corrected and accurate Verilog-A for linear dopant drift model of memristors | IEEE Conference Publication | IEEE Xplore