Research Projects

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.