Verification issues of virtual components in system-on-a-chip (SOC) designsby Manfred StadlerWriting a summary for young readers…For young readersBook data: Open Library