Sallar Ahmadi-PourMathis LogemannVladimir HerdtRolf Drechsler2024-03-282024-03-28https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/1621Synergistic Verification of Hardware Peripherals through Virtual Prototype Aided Cross-Level Methodology Leveraging Coverage-Guided Fuzzing and Co-Simulationpdf