Verificarea proiectării funcționale Asic/Soc: A Comprehensive Guide to Technologies and Methodologies

Evaluare:   (4.2 din 5)

Verificarea proiectării funcționale Asic/Soc: A Comprehensive Guide to Technologies and Methodologies (B. Mehta Ashok)

Recenzii ale cititorilor

Rezumat:

Cartea este extrem de recomandată pentru cei care doresc să îmbunătățească verificarea funcțională a proiectelor ASIC și SoC. Oferă un rezumat cuprinzător al subiectelor necesare, exemple practice și explicații clare, ceea ce o face potrivită atât pentru profesioniștii cu experiență, cât și pentru începători.

Avantaje:

Explicații clare, ordinea logică a subiectelor, exemple practice, acoperire cuprinzătoare a verificării funcționale, potrivită atât pentru începători, cât și pentru profesioniști experimentați.

Dezavantaje:

Presupune cunoștințe generale de bază, ceea ce poate să nu se potrivească începătorilor absoluți.

(pe baza a 3 recenzii ale cititorilor)

Titlul original:

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

Conținutul cărții:

Această carte descrie în detaliu toate tehnologiile și metodologiile necesare pentru a crea o strategie și un mediu cuprinzător de verificare a proiectării funcționale, pentru a face față celei mai dificile sarcini de a garanta un siliciu funcțional la prima trecere.

Autorul prezintă mai întâi toate subdomeniile de verificare la un nivel înalt, cu suficientă profunzime pentru a permite unui inginer să înțeleagă domeniul înainte de a intra în detaliile acestuia. El descrie apoi în detaliu tehnologiile standard din industrie, cum ar fi UVM (Universal Verification Methodology), SVA (SystemVerilog Assertions), SFC (SystemVerilog Functional Coverage), CDV (Coverage Driven Verification), Low Power Verification (Unified Power Format UPF), verificarea AMS (Analog Mixed Signal), Virtual Platform TLM2.

0/ESL (Electronic System Level), verificarea formală statică, verificarea echivalenței logice (LEC), accelerarea hardware, emularea hardware, co-verificarea hardware/software, analiza PPA (Power Performance Area) pe o platformă virtuală, metodologia reutilizării de la algoritm/ESL la RTL și alte metodologii generale.

Alte date despre carte:

ISBN:9783319866208
Autor:
Editura:
Limbă:engleză
Legare:Copertă moale

Cumpărare:

Disponibil în prezent, pe stoc.

Alte cărți ale autorului:

System Verilog Assertions and Functional Coverage: Ghid pentru limbaj, metodologie și aplicații -...
Această carte oferă un ghid practic, orientat spre...
System Verilog Assertions and Functional Coverage: Ghid pentru limbaj, metodologie și aplicații - System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Introducere în Systemverilog - Introduction to Systemverilog
Această carte oferă un ghid practic, orientat spre aplicații, pentru întregul limbaj SystemVerilog al...
Introducere în Systemverilog - Introduction to Systemverilog
Systemverilog Assertions and Functional Coverage: Ghid pentru limbaj, metodologie și aplicații -...
Introducere. - Aserțiuni System Verilog. -...
Systemverilog Assertions and Functional Coverage: Ghid pentru limbaj, metodologie și aplicații - Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Verificarea proiectării funcționale Asic/Soc: A Comprehensive Guide to Technologies and...
Această carte descrie în detaliu toate tehnologiile și...
Verificarea proiectării funcționale Asic/Soc: A Comprehensive Guide to Technologies and Methodologies - Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and...
Această carte descrie în detaliu toate tehnologiile și...
Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
System Verilog Assertions and Functional Coverage: Ghid pentru limbaj, metodologie și aplicații -...
Această carte oferă un ghid practic, orientat spre...
System Verilog Assertions and Functional Coverage: Ghid pentru limbaj, metodologie și aplicații - System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Introducere în Systemverilog - Introduction to Systemverilog
Această carte oferă un ghid practic, orientat spre aplicații, pentru întregul limbaj SystemVerilog al...
Introducere în Systemverilog - Introduction to Systemverilog

Lucrările autorului au fost publicate de următorii editori:

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)