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…