A CAD framework for the characterization and use of memristor models | IEEE Conference Publication | IEEE Xplore