1 citations · 3 across the 4 of their papers we have counts for
4 papers
Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution
Karl Aaron Rudkowski, Sallar Ahmadi-Pour, Rolf Drechsler
Virtual Prototypes (VPs) are important tools in modern hardware development. At high abstractions, they are often implemented in SystemC and offer early analysis of increasingly co…
Virtual-Peripheral-in-the-Loop : A Hardware-in-the-Loop Strategy to Bridge the VP/RTL Design-Gap
Sallar Ahmadi-Pour, Pascal Pieper, Rolf Drechsler
Virtual Prototypes act as an executable specification model, offering a unified behavior reference model for SW and HW engineers. However, between the VP and the HW still exists a…
Experimental Validation of Memristor-Aided Logic Using 1T1R TaOx RRAM Crossbar Array
Ankit Bende, Simranjeet Singh, Chandan Kumar Jha +10
Memristor-aided logic (MAGIC) design style holds a high promise for realizing digital logic-in-memory functionality. The ability to implement a specific gate in a MAGIC design styl…
MemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory
Simranjeet Singh, Chandan Kumar Jha, Ankit Bende +4
Existing logic-in-memory (LiM) research is limited to generating mappings and micro-operations. In this paper, we present~\emph{MemSPICE}, a novel framework that addresses this gap…