Heterogeneous SoC Design and Verification: HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging. - Mohamed, Khaled Salah (Synthesis Lectures on Digital Circuits & Systems, 2024)