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

Recenzie čitateľov

Kniha je vysoko cenená pre svoje komplexné pokrytie funkčnej verifikácie ASIC a SoC a ponúka praktické pokyny a príklady, ktoré zlepšujú pochopenie pre skúsených odborníkov aj pre tých, ktorí majú základné znalosti.

⬤ Poskytuje stručný prehľad tém potrebných na zlepšenie vývoja kremíka bez chýb.
⬤ Ponúka jasné a logické vysvetlenia s množstvom príkladov.
⬤ Pomáha pri efektívnom písaní testovacích testov.
⬤ Vyvažuje perspektívy na vysokej úrovni s konkrétnymi aplikáciami.
⬤ Vhodné pre manažérov aj inžinierov.

Kniha môže predpokladať určité existujúce znalosti konceptov ASIC a SoC, čo nemusí vyhovovať úplným začiatočníkom.

(na základe 3 čitateľských recenzií)

Obsah knihy:

Táto kniha podrobne opisuje všetky potrebné technológie a metodiky potrebné na vytvorenie komplexnej stratégie a prostredia na overovanie funkčnosti návrhu, ktoré umožňujú zvládnuť najťažšiu úlohu, ktorou je zaručiť funkčný kremík na prvý pokus.

Autor najprv načrtáva všetky podoblasti verifikácie na vysokej úrovni, s dostatočnou hĺbkou na to, aby sa inžinier mohol zorientovať v danej oblasti skôr, než sa pustí do jej detailov. Potom podrobne opisuje štandardné priemyselné technológie, ako sú 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) metodológia, statická formálna verifikácia, kontrola logickej ekvivalencie (LEC), akcelerácia hardvéru, emulácia hardvéru, ko-verifikácia hardvéru a softvéru, analýza výkonovej oblasti (PPA) na virtuálnej platforme, metodológia opätovného použitia z algoritmu/ESL do RTL a ďalšie celkové metodológie.