Synthesis and Verification Targeted to Memristive Crossbars
Implementing Organization
Indian Institute of Technology (IIT), Kharagpur
Principal Investigator
Prof. Indranil Sengupta
Indian Insttiute of Technology(IIT) Kharagpur, West Bengal (721301)
About
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.
Disclaimer:
Information available on this portal is sourced from various organizations and is provided for informational purposes only. Users are advised to verify details from the respective official sources.
Please enter your details
Please provide your name and email to continue. Your details are saved in this browser for future use.
Latest Updates
Loading…
⚠️
You are leaving this website
You are about to be redirected to an external website that is not operated by
India Science, Technology & Innovation (ISTI) Portal.
Indian Institute of Technology (IIT), Kharagpur
Acces sibility Controls