ASIC/SoC functional design verification : a comprehensive guide to technologies and methodologies /
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 first outlines all of the verification sub-fields at a...
Autor principal: | |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Cham, Switzerland :
Springer,
c2018.
|
Materias: | |
Acceso en línea: | Ver documento en línea |
Sumario: | 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 first outlines all of the verification sub-fields at a high level, with just enough depth to allow an engineer to grasp the field before delving into its detail. He then 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, ReuseMethodology from Algorithm/ESL to RTL, and other overall methodologies. |
---|---|
Descripción Física: | 1 recurso en línea (xxxi, 328 páginas) : ilustraciones a color, diagramas (principalmente a color), gráficos a color, archivo de texto, PDF. |
ISBN: | 9783319594187 9783319594170 |
Acceso: | Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional |