LEADER 03559nam 22005055 450 001 9910299911803321 005 20200630121854.0 010 $a3-319-59418-4 024 7 $a10.1007/978-3-319-59418-7 035 $a(CKB)3710000001418407 035 $a(DE-He213)978-3-319-59418-7 035 $a(MiAaPQ)EBC4890725 035 $a(PPN)202994031 035 $a(EXLCZ)993710000001418407 100 $a20170628d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aASIC/SoC Functional Design Verification $eA Comprehensive Guide to Technologies and Methodologies /$fby Ashok B. Mehta 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XXXI, 328 p. 175 illus., 160 illus. in color.) 311 $a3-319-59417-6 327 $aChapter 1.Introduction -- Chapter 2.Functional Verification- Challeenges and Solution -- Chapter 3.SystemVerilog Paradigm -- Chapter 4. UVM -- Chapter 5.CRV -- Chapter 6.SVA -- Chapter 7.SFC -- Chapter 8.CDC -- Chapter 9.Low Power Verification -- Chapter 10. Static Verification -- Chapter 11.ESL -- Chapter 12. Hardware/Software Co-verification -- Chapter 13 -- Analog Mixed Signals Verification -- Chapter 14 -- SOC Interconnect Verification -- Chapter 15. The Complete Product Design Lifecycle -- Chapter 16. Voice Over IP -- Chapter 17. Cache Memory Subsystem Verification: UVM Agent Based -- Chapter 18. Cache Memory Subsystem Verification: ISS Based. 330 $aThis book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon The author outlines all of the verification sub-fields at a high level, with just enough depth to allow a manager/decision maker or an engineer to grasp the field which can then be pursued in detail with the provided references. He describes in detail industry standard technologies such as UVM (Universal Verification Methodology), SVA (SystemVerilog Assertions), SFC (SystemVerilog Functional Coverage), CDV (Coverage Driven Verification), Low Power Verification (Unified Power Format UPF), AMS (Analog Mixed Signal) verification, Virtual Platform TLM2.0/ESL (Electronic System Level) methodology, Static Formal Verification, Logic Equivalency Check (LEC), Hardware Acceleration, Hardware Emulation, Hardware/Software Co-verification, Power Performance Area (PPA) analysis on a virtual platform, Reuse Methodology from Algorithm/ESL to RTL, and other overall methodologies. 606 $aElectronic circuits 606 $aMicroprocessors 606 $aLogic design 606 $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 606 $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050 615 0$aElectronic circuits. 615 0$aMicroprocessors. 615 0$aLogic design. 615 14$aCircuits and Systems. 615 24$aProcessor Architectures. 615 24$aLogic Design. 676 $a621.3815 700 $aMehta$b Ashok B$4aut$4http://id.loc.gov/vocabulary/relators/aut$0763798 906 $aBOOK 912 $a9910299911803321 996 $aASIC$92501139 997 $aUNINA LEADER 03951nam 22005775 450 001 9910299893003321 005 20251116191221.0 010 $a3-319-61869-5 024 7 $a10.1007/978-3-319-61869-2 035 $a(CKB)4100000000586782 035 $a(DE-He213)978-3-319-61869-2 035 $a(MiAaPQ)EBC5047044 035 $a(PPN)204535476 035 $a(EXLCZ)994100000000586782 100 $a20170914d2018 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a5G Wireless Systems $eSimulation and Evaluation Techniques /$fby Yang Yang, Jing Xu, Guang Shi, Cheng-Xiang Wang 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XXIII, 434 p. 196 illus., 149 illus. in color.) 225 1 $aWireless Networks,$x2366-1186 311 08$a3-319-61868-7 320 $aIncludes bibliographical references. 327 $aCandidate Technologies and Evaluation Challenges for 5G -- Evolution of Testing Technology -- Channel Measurement and Modeling -- Software Simulation -- Evaluation Test of Software and Hardware Co-Simulation -- 5G Hardware Test Evaluation Platform -- Field Trial Network. 330 $aThis book focuses on key simulation and evaluation technologies for 5G systems. Based on the most recent research results from academia and industry, it describes the evaluation methodologies in depth for network and physical layer technologies. The evaluation methods are discussed in depth. It also covers the analysis of the 5G candidate technologies and the testing challenges, the evolution of the testing technologies, fading channel measurement and modeling, software simulations, software hardware cosimulation, field testing and other novel evaluation methods. The fifth-generation (5G) mobile communications system targets highly improved network performances in terms of the network capacity and the number of connections. Testing and evaluation technologies is widely recognized and plays important roles in the wireless technology developments, along with the research on basic theory and key technologies. The investigation and developments on the multi-level and comprehensive evaluations for 5G new technologies, provides important performance references for the 5G technology filtering and future standardizations. Students focused on telecommunications, electronic engineering, computer science or other related disciplines will find this book useful as a secondary text. Researchers and professionals working within these related fields will also find this book useful as a reference. 410 0$aWireless Networks,$x2366-1186 606 $aElectrical engineering 606 $aComputer networks 606 $aOperating systems (Computers) 606 $aCommunications Engineering, Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/T24035 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 615 0$aElectrical engineering. 615 0$aComputer networks. 615 0$aOperating systems (Computers) 615 14$aCommunications Engineering, Networks. 615 24$aComputer Communication Networks. 615 24$aOperating Systems. 676 $a621.382 700 $aYang$b Yang$4aut$4http://id.loc.gov/vocabulary/relators/aut$0710870 702 $aXu$b Jing$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aShi$b Guang$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aWang$b Cheng-xiang$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910299893003321 996 $a5G Wireless Systems$92542802 997 $aUNINA