Description du livre
Ce livre fournit un guide pratique et orienté vers l'application du langage et de la méthodologie des Assertions SystemVerilog et de la couverture fonctionnelle. Les lecteurs bénéficieront de l'approche étape par étape de l'apprentissage des nuances de langage et de méthodologie de SystemVerilog Assertions et de Functional Coverage, qui leur permettra de découvrir des bogues cachés et difficiles à trouver, de pointer directement à la source du bogue, d'offrir un moyen propre et facile de modéliser des vérifications complexes du temps et de répondre de manière objective à la question " nous avons tout vérifié fonctionnellement ". Rédigé par un utilisateur final professionnel de la conception et de la vérification ASIC/SoC/CPU et FPGA, ce livre explique chaque concept avec des exemples faciles à comprendre, des journaux de simulation et des applications issues de projets réels. Les lecteurs seront en mesure de s'attaquer à la modélisation de contrôleurs complexes pour la vérification fonctionnelle et de modèles de couverture exhaustive pour la couverture fonctionnelle, réduisant ainsi considérablement leur temps de conception, de débogage et de couverture.
Cette troisième édition mise à jour aborde le dernier ensemble fonctionnel publié dans IEEE-1800 (2012) LRM, y compris de nombreux opérateurs et fonctionnalités supplémentaires. De plus, bon nombre des explications des assertions et des opérateurs concomitants sont améliorées, avec l'ajout d'autres exemples et figures.
- Couvre dans son intégralité la syntaxe et la sémantique du LRM 2012 IEEE-1800 2012 les plus récentes ;
- Couvre à la fois les langages et méthodologies SystemVerilog Assertions et SystemVerilog Functional Coverage ;
- Fournit des applications pratiques du quoi, du comment et du pourquoi des méthodologies de vérification basée sur les assertions et de couverture fonctionnelle ;
- Explique chaque concept étape par étape et l'applique à un exemple pratique de la vie réelle ;
-
Comprend 6 CCT pratiques qui permettent aux lecteurs de mettre en pratique les concepts expliqués dans le livre.