Verificación del diseño funcional Asic/Soc: Guía completa de tecnologías y metodologías

Opiniones de los lectores

El libro es muy recomendable para quienes deseen mejorar la verificación funcional de diseños ASIC y SoC. Ofrece un resumen exhaustivo de los temas necesarios, ejemplos prácticos y explicaciones claras, por lo que resulta adecuado tanto para profesionales experimentados como para principiantes.

Explicaciones claras, orden lógico de los temas, ejemplos prácticos, cobertura exhaustiva de la verificación funcional, adecuada tanto para principiantes como para profesionales experimentados.

Asume unos conocimientos básicos, por lo que puede no ser adecuado para principiantes absolutos.

(basado en 3 opiniones de lectores)

Título original:

Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

Contenido del libro:

Este libro describe en detalle todas las tecnologías y metodologías necesarias para crear una estrategia y un entorno de verificación de diseños funcionales y completos que permitan afrontar la ardua tarea de garantizar un silicio que funcione a la primera.

En primer lugar, el autor esboza todos los subcampos de la verificación a un alto nivel, con la profundidad suficiente para que un ingeniero pueda comprender el campo antes de profundizar en sus detalles. A continuación, describe en detalle tecnologías estándar del sector como UVM (Metodología de verificación universal), SVA (Aserciones de SystemVerilog), SFC (Cobertura funcional de SystemVerilog), CDV (Verificación basada en la cobertura), Verificación de bajo consumo (Formato unificado de alimentación UPF), Verificación AMS (Señal analógica mixta), Plataforma virtual TLM2.

0/ESL (Electronic System Level), verificación formal estática, comprobación de equivalencia lógica (LEC), aceleración de hardware, emulación de hardware, verificación conjunta de hardware y software, análisis del área de rendimiento energético (PPA) en una plataforma virtual, metodología de reutilización de algoritmo/ESL a RTL y otras metodologías generales.