LEADER 03415nam 22006375 450 001 9910627272503321 005 20251015153408.0 010 $a3-031-05574-8 024 7 $a10.1007/978-3-031-05574-4 035 $a(MiAaPQ)EBC7080098 035 $a(Au-PeEL)EBL7080098 035 $a(CKB)24779000300041 035 $a(PPN)264959868 035 $a(DE-He213)978-3-031-05574-4 035 $a(OCoLC)1344542482 035 $a(EXLCZ)9924779000300041 100 $a20220901d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEnhanced Virtual Prototyping for Heterogeneous Systems /$fby Muhammad Hassan, Daniel Große, Rolf Drechsler 205 $a1st ed. 2023. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2023. 215 $a1 online resource (181 pages) 225 1 $aEngineering Series 311 08$aPrint version: Hassan, Muhammad Enhanced Virtual Prototyping for Heterogeneous Systems Cham : Springer International Publishing AG,c2022 9783031055737 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- Preliminaries -- AMS Metamorphic Testing Environment -- AMS Enhanced Code Coverage Verification Environment -- AMS Enhanced Functional Coverage Verification Environment -- Digital Early Security Validation -- Conclusion. 330 $aThis book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various stages of the VP-based verification flow, providing a new perspective on verification by leveraging advanced techniques, like metamorphic testing, data flow testing, and information flow testing. In addition, the book puts a strong emphasis on advanced coverage-driven methodologies to verify the functional behavior of the SOC as well as ensure its security. Provides an extensive introduction to the modern VP-based verification flow for heterogeneous SOCs; Introduces a novel metamorphic testing technique for heterogeneous SOCs which does not require reference models; Includes automated advanced data flow coverage-driven methodologies tailored for SystemC/AMS-based VPs; Describes enhanced functional coverage-driven methodologies to verify various functional behaviors of RF amplifiers. 410 0$aEngineering Series 606 $aElectronic circuits 606 $aEmbedded computer systems 606 $aElectronic circuit design 606 $aElectronic Circuits and Systems 606 $aEmbedded Systems 606 $aElectronics Design and Verification 615 0$aElectronic circuits. 615 0$aEmbedded computer systems. 615 0$aElectronic circuit design. 615 14$aElectronic Circuits and Systems. 615 24$aEmbedded Systems. 615 24$aElectronics Design and Verification. 676 $a620.0042 676 $a621.3815 700 $aHassan$b Muhammad$0253829 702 $aGrosse$b Daniel 702 $aDrechsler$b Rolf 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910627272503321 996 $aEnhanced virtual prototyping for heterogeneous systems$93362812 997 $aUNINA