Synthesis and Verification Targeted to Memristive Crossbars
Implementing Organization
Indian Insttiute of Technology(IIT) Kharagpur
Principal Investigator
Prof. Indranil Sengupta
Indian Insttiute of Technology(IIT) Kharagpur, West Bengal (721301)
Project Overview
Memristors, passive circuit elements with crossbar structures, have applications in non-volatile resistive memory, in-memory computing, and neuromorphic computing. In-memory computing involves synthesis and mapping logic functions on memristor crossbars, leading to innovative architectures. However, sneak paths can lead to erroneous read operations. To address this, a generalized verification framework for in-memory design is crucial. This project aims to develop sneak path aware algorithms for robust synthesis of logic functions on crossbars and a formal verification framework to ensure functional correctness of crossbar mapping.
Indian Insttiute of Technology(IIT) Kharagpur
Accessibility Controls