Karl Aaron Rudkowski, Sallar Ahmadi-Pour, Rolf Drechsler. CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution. In 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2025, Lyon, France, May 5-7, 2025. pages 153-156, IEEE, 2025. [doi]
Abstract is missing.