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

Opiniones de los lectores

El libro goza de gran prestigio por su exhaustiva cobertura de la verificación funcional de ASIC y SoC, ofreciendo directrices prácticas y ejemplos que mejoran la comprensión tanto para profesionales experimentados como para aquellos con conocimientos básicos.

⬤ Proporciona un resumen sucinto de los temas necesarios para mejorar el desarrollo de silicios sin errores.
⬤ Ofrece explicaciones claras y lógicas con numerosos ejemplos.
⬤ Ayuda a escribir eficientemente bancos de pruebas.
⬤ Equilibra perspectivas de alto nivel con aplicaciones concretas.
⬤ Adecuado tanto para directivos como para ingenieros.

El libro puede suponer cierto conocimiento de los conceptos de ASIC y SoC, lo que puede no ser adecuado para principiantes.

(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.