TY - BOOK ID - 15992745 TI - ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Methodologies PY - 2018 SN - 3319594184 3319594176 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Engineering. KW - Logic design. KW - Microprocessors. KW - Electronic circuits. KW - Circuits and Systems. KW - Processor Architectures. KW - Logic Design. KW - Systems engineering. KW - Computer science. KW - Informatics KW - Science KW - Engineering systems KW - System engineering KW - Engineering KW - Industrial engineering KW - System analysis KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Design and construction KW - Minicomputers KW - Electron-tube circuits KW - Electric circuits KW - Electron tubes KW - Electronics UR - https://www.unicat.be/uniCat?func=search&query=sysid:15992745 AB - This 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. ER -