I. Introduction
The literature about the memristor [1], theoretically postulated in 1971 [2], has been growing exponentially with time since 2008 [3]. Most of current research is devoted to the fabrication of devices with improved performance in view of their most appealing engineering applications, namely non-volatile memory design, neuromorphic system development, and novel dynamic circuit conception [4]. Some papers on two-terminal elements exhibiting fingerprints of memristive behavior report insightful analyses of device dynamics, carried out in the lab and/or through proper post-processing on numerical solutions of mathematical models. However, in many cases, details on experimental or simulation settings are omitted or partially described, and investigations are mainly focused on a limited set of device properties under optimization. From a circuit theoretic point of view these aspects do not allow a proper assessment of the nonlinear behavior of the device, motivating us to carry out the work presented in this paper, in which the mathematical model of a device manufactured at Hewlett Packard Labs [5] and based upon one of the most promising materials for memristor technology, namely tantalum oxide, is thoroughly investigated to uncover the underlying nonlinear dynamics. Excitation of the memristor through various distinct input sources and, for each case, record of the system response for a number of initial conditions, swept uniformly across the entire existence domain of the memristor state, allows us to draw a detailed picture of the nonlinear behavior of the nanodevice. Very importantly, the results of the theoretical analysis are confirmed through experiments conducted on a sample device.