Memristors: Device Modeling, Design and Verification

In-Memory Computing (IMC) using memristors is considered as one of the most researched topic in recent years. Since the first fabrication of the memristor in 2008, its popularity has expanded to a great extent. Researchers from various diverse domains have explored and contributed to the fabrication and design of the memristor device that in turn aids in the development of crossbar designs for IMC. IMC architectures have the potential to bridge the processor-memory speed gap that exists in current von-Neumann architectures. But due to the variability challenges of the memristive devices being an emerging technology, the technology requires time to mature to be widely adopted by the industry. Research is ongoing and there have been significant efforts from both academia and industry to push this technology forward to the next level. In this paper we aim to provide a brief overview of the various works that have been considered over the last one and a half decade in the broad area of modeling, design, mapping, testing, and verification of the memristor-based circuits and systems.