Sallar Ahmadi-PourMathis LogemannVladimir HerdtRolf Drechsler2024-03-282024-03-282023jz000028-0004https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/1620621.3Synergistic Verification of Hardware Peripherals through Virtual Prototype Aided Cross-Level Methodology Leveraging Coverage-Guided Fuzzing and Co-Simulationhttps://doi.org/10.3390/chips2030012