Verification issues of virtual components in system on a chip (SOC) designsManfred StadlerÉpuisé4,3Prévenez-moi