memristor model verifications work