Recenzii ale cititorilor
Rezumat:Cartea este foarte apreciată pentru acoperirea cuprinzătoare a verificării funcționale ASIC și SoC, oferind orientări practice și exemple care îmbunătățesc înțelegerea atât pentru profesioniștii cu experiență, cât și pentru cei cu cunoștințe de bază.
Avantaje:⬤ Oferă un rezumat succint al subiectelor necesare pentru îmbunătățirea dezvoltării de siliciu fără erori.
⬤ Oferă explicații clare și logice cu numeroase exemple.
⬤ Ajută la scrierea eficientă a bancurilor de testare.
⬤ Echilibrează perspectivele de nivel înalt cu aplicațiile concrete.
⬤ Potrivit atât pentru manageri, cât și pentru ingineri.
Dezavantaje:Cartea poate presupune existența unor cunoștințe despre conceptele ASIC și SoC, ceea ce poate să nu se potrivească începătorilor.
(pe baza a 3 recenzii ale cititorilor)
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.
