Memristor models for SPICE simulation of extremely large memristive networks | IEEE Conference Publication | IEEE Xplore