Heterogeneous SoC Design and Verification HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging - Mohamed, Khaled Salah (Springer Nature Switzerland, 2024)