Olvasói vélemények
Összegzés:A könyv értékes betekintést nyújt a SystemVerilog Assertions (SVA) és a funkcionális lefedettség témakörébe, így nagyszerű forrás a verifikációs mérnökök és a tervezőmérnökök számára. A könyv gyakorlati példákat és valós alkalmazásokat tartalmaz, amelyek fokozzák a megértést. Néhány felhasználó azonban nehézségeket tapasztalt a kísérő forráskód online megtalálása során, ami befolyásolhatja a könyv általános használhatóságát.
Előnyök:⬤ Értékes a verifikációs mérnökök számára.
⬤ Könnyen olvasható és érthető.
⬤ Alapos ismeretek az állításokról és a funkcionális lefedettségről.
⬤ Gyakorlati példák, amelyek megszilárdítják a fogalmakat.
⬤ Jó a közvetlen megvalósításhoz nehézkes elmélet nélkül.
⬤ Kiváló referenciakönyv szilárd tartalomjegyzékkel és tartalomjegyzékkel.
Hátrányok:⬤ Nehéz megtalálni az online forráskódot a gyakorlatokhoz.
⬤ Javaslatokat tettek további példákhoz.
⬤ Néhány felhasználó nem találta egyértelműnek az online hozzáférési utasításokat.
(8 olvasói vélemény alapján)
Eredeti címe:
Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Könyv tartalma:
Bevezetés. - System Verilog állítások.
- Azonnali kijelentések. - Egyidejű kijelentések - Alapok (sequence, property, assert). - Mintavételezett értékfüggvények $rose, $fell.
- Operátorok.
- Rendszerfüggvények és feladatok. - Többszörös órák.
- Helyi változók. - Rekurzív tulajdonság. - Egy sorozat végpontjának felismerése és használata.
- 'expect'. - 'assume' és formális (statikus funkcionális) verifikáció. - Egyéb fontos témák.
- Aszinkron asszertív állítások!!! - Az IEEE-1800-2009 jellemzői. - SystemVerilog Assertions LABs.
- System Verilog Assertions - LAB válaszok. - Funkcionális lefedettség. - A lefedettségi módszertan teljesítménykövetkezményei.
- Fedési lehetőségek (referenciaanyag).
