Computer Sciences and Information Technology
Title : | Synthesis and Verification Targeted to Memristive Crossbars |
Area of research : | Computer Sciences and Information Technology |
Focus area : | Digital technologies |
Principal Investigator : | Prof. Indranil Sengupta, Indian Insttiute of Technology(IIT) Kharagpur, West Bengal (721301) |
Timeline Start Year : | 2024 |
Timeline End Year : | 2026 |
Contact info : | isg@iitkgp.ac.in |
Details
Executive Summary : | 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. |
Total Budget (INR): | 8,90,500 |
Organizations involved