most citedExperimental Validation of Memristor-Aided Logic Using 1T1R TaOx RRAM Crossbar Array

1 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2025

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…