A new technical paper titled “Special Session Paper: Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory” was published by researchers at University of Bremen, DFKI GmbH, University of Florida and TU Munich.
Abstract
“Computing-in-memory (CIM) has gained immense traction owing to the benefits it provides in power, performance, and area. CIM can be done on a large variety of memory elements like SRAM, DRAM, RRAM, etc. In this work, we focus on the techniques using RRAM for the computations. First, we explain the stateful and non-stateful techniques to perform Logic-in-Memory (LiM) operations using RRAM crossbars. We discuss the methods that are used to guarantee the correctness of the mapping/micro-operations obtained from mapping tools like SIMPLE-MAGIC. Second, we discuss the flow-based computing techniques that alleviate the write operations when performing the LiM operations and use the sneak-path currents to perform the computations. We discuss the formal verification strategies developed to guarantee the correctness of the logic operations using flow-based computing. Lastly, we discuss the techniques that have been developed to enable reliable computations using RRAM devices even in the presence of variations, such as error suppression and error reduction techniques. Finally, we explain a technique employing basis vectors to reduce the necessity to reprogram RRAM-based crossbars.”
Find the technical paper here.
Jha, Chandan Kumar, Sumit Kumar Jha, Ulf Schlichtmann, and Rolf Drechsler. “Special Session Paper: Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory.”
Leave a Reply