CogniGron seminar-Computer Science - dr. Farhad Merchant, Newcastle University, UK

Title: A Tutorial on In-Memory Computing Architectures

Abstract:

The classical von Neumann computing model has a major shortcoming in terms of energy efficiency as it requires moving data among the various levels of memories. A practical solution to minimize these data movements is to perform computations as close to the memory as possible or inside the memory elements. While near-memory computing exhibits certain advantages, it still needs to improve as data movements are truncated and not minimized. On the other hand, in-memory computing is a novel paradigm that allows performing computing inside the memory resulting in a significant reduction of these data movements. Various technologies such as resistive random-access memory (ReRAM), magnetic random-access memory, and phase-change memory (PCM) are explored for performing computation in memory. In this talk, I will cover various design methods and tools developed by my group for ReRAM-based in-memory computing. I will discuss digital, analog and multi-bit computing paradigms in the first part. It was recently demonstrated that the classical stateful logic implementations (e.g., MAGIC) yield, on average, 68x higher energy than literature-reported results. In the second part, I will discuss formal verification methodologies for in-memory computing, where the correctness of the mapping of logic operations is examined. Finally, I will discuss hardware prototyping efforts that complement the simulation and verification methodologies.

http://www.informatik.uni-trier.de/~ley/pers/hd/m/Merchant:Farhad.html

online to follow via: https://bluejeans.com/347855386/5683