most citedVirtual-Peripheral-in-the-Loop : A Hardware-in-the-Loop Strategy to Bridge the VP/RTL Design-Gap

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

collaborators

2 papers

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…

cs.AR2023★ 1 cited

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…