Multicore Hardware-Software Design and Verification Techniques | lit.salon