TY  - RPRT
TI  - Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution
AU  - Karl Aaron Rudkowski
AU  - Sallar Ahmadi-Pour
AU  - Rolf Drechsler
PY  - 2025
UR  - https://arxiv.org/abs/2509.05504
ID  - 2509.05504
ER  -