Verifica della progettazione funzionale Asic/Soc: Guida completa alle tecnologie e alle metodologie

Recensioni dei lettori

Il libro è molto apprezzato per la sua copertura completa della verifica funzionale di ASIC e SoC, offrendo linee guida ed esempi pratici che migliorano la comprensione sia per i professionisti esperti che per quelli con conoscenze di base.

⬤ Fornisce un riassunto sintetico degli argomenti necessari per migliorare lo sviluppo di silicio privo di bug.
⬤ Offre spiegazioni chiare e logiche con numerosi esempi.
⬤ Aiuta a scrivere in modo efficiente i banchi di prova.
⬤ Bilancia le prospettive di alto livello con le applicazioni concrete.
⬤ Adatto sia ai manager che agli ingegneri.

Il libro presuppone una certa conoscenza dei concetti di ASIC e SoC, il che potrebbe non essere adatto ai principianti.

(basato su 3 recensioni dei lettori)

Titolo originale:

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

Contenuto del libro:

Questo libro descrive in dettaglio tutte le tecnologie e le metodologie necessarie per creare una strategia e un ambiente di verifica funzionale dei progetti completi, per affrontare il lavoro più difficile: garantire un silicio funzionante al primo passaggio.

L'autore delinea innanzitutto tutti i sottocampi di verifica ad alto livello, con una profondità sufficiente a consentire a un ingegnere di comprendere il campo prima di addentrarsi nei suoi dettagli. Quindi descrive in dettaglio le tecnologie standard del settore, come UVM (Universal Verification Methodology), SVA (SystemVerilog Assertions), SFC (SystemVerilog Functional Coverage), CDV (Coverage Driven Verification), verifica a basso consumo (Unified Power Format UPF), verifica AMS (Analog Mixed Signal), Virtual Platform TLM2.

0/ESL (Electronic System Level), verifica formale statica, controllo di equivalenza logica (LEC), accelerazione dell'hardware, emulazione dell'hardware, co-verifica hardware/software, analisi della Power Performance Area (PPA) su una piattaforma virtuale, metodologia di riutilizzo da algoritmi/ESL a RTL e altre metodologie generali.