Asic/Soc Functional Design Verification: A: A Comprehensive Guide to Technologies and Methodologies (Průvodce technologiemi a metodikami)

Recenze čtenářů

Knihu lze vřele doporučit těm, kteří se snaží zlepšit funkční verifikaci návrhů ASIC a SoC. Nabízí ucelený přehled potřebných témat, praktické příklady a srozumitelná vysvětlení, takže je vhodná jak pro zkušené profesionály, tak pro začátečníky.

Jasné vysvětlení, logické řazení témat, praktické příklady, komplexní pokrytí funkční verifikace, vhodné pro začátečníky i zkušené profesionály.

Předpokládá základní znalosti, což nemusí vyhovovat úplným začátečníkům.

(na základě 3 hodnocení čtenářů)

Původní název:

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

Obsah knihy:

Tato kniha podrobně popisuje všechny potřebné technologie a metodiky potřebné k vytvoření komplexní strategie a prostředí pro ověřování funkčnosti návrhu, aby bylo možné zvládnout nejtěžší úkol, kterým je zajištění funkčního křemíku na první pokus.

Autor nejprve nastiňuje všechny dílčí oblasti verifikace na vysoké úrovni, s dostatečnou hloubkou, aby inženýr mohl oblast pochopit, než se ponoří do jejích detailů. Poté podrobně popisuje standardní průmyslové technologie, jako jsou 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) metodika, statická formální verifikace, kontrola logické ekvivalence (LEC), akcelerace hardwaru, emulace hardwaru, ko-verifikace hardwaru a softwaru, analýza výkonové oblasti (PPA) na virtuální platformě, metodika opakovaného použití z algoritmu/ESL do RTL a další celkové metodiky.