Assertions et couverture fonctionnelle de Systemverilog : Guide du langage, de la méthodologie et des applications

Note : ⭐⭐⭐⭐⭐  (4,6 sur 5)

Assertions et couverture fonctionnelle de Systemverilog : Guide du langage, de la méthodologie et des applications (B. Mehta Ashok)

Avis des lecteurs

Résumé:

Ce livre fournit des informations précieuses sur les assertions SystemVerilog (SVA) et la couverture fonctionnelle, ce qui en fait une excellente ressource pour les ingénieurs de vérification et les ingénieurs concepteurs. Il comprend des exemples pratiques et des applications réelles qui améliorent la compréhension. Cependant, certains utilisateurs ont éprouvé des difficultés à trouver le code source en ligne, ce qui peut affecter la facilité d'utilisation de l'ouvrage.

Avantages:

⬤ Précieux pour les ingénieurs de vérification.
⬤ Facile à lire et à comprendre.
⬤ Connaissance approfondie des assertions et de la couverture fonctionnelle.
⬤ Des exemples pratiques qui consolident les concepts.
⬤ Bon pour l'implémentation directe sans théorie lourde.
⬤ Excellent ouvrage de référence avec un index et une table des matières solides.

Inconvénients:

⬤ Difficulté à trouver le code source en ligne pour les laboratoires.
⬤ Des suggestions pour plus d'exemples ont été faites.
⬤ Certains utilisateurs ont trouvé que les instructions d'accès en ligne n'étaient pas claires.

(basé sur 8 avis de lecteurs)

Titre original :

Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Contenu du livre :

Introduction. - Assertions du système Verilog.

- Assertions immédiates. - Assertions concurrentes - Notions de base (sequence, property, assert). - Fonctions de valeur échantillonnée $rose, $fell.

- Opérateurs.

- Fonctions et tâches du système. - Horloges multiples.

- Variables locales. - Propriété récursive. - Détection et utilisation du point final d'une séquence.

- Attendre ». - 'assume' et vérification formelle (fonctionnelle statique). - Autres sujets importants.

- Assertions asynchrones !!! - IEEE-1800-2009 Caractéristiques. - LABs sur les assertions SystemVerilog.

- Assertions System Verilog - Réponses LAB. - Couverture fonctionnelle. - Implications de la méthodologie de couverture sur la performance.

- Options de couverture (matériel de référence).

Autres informations sur le livre :

ISBN :9781461473237
Auteur :
B. Mehta Ashok
Éditeur :
Springer Nature
Langue :anglais
Reliure :Relié

Achat:

Actuellement disponible, en stock.

Je l'achète!

Autres livres de l'auteur :

Assertions et couverture fonctionnelle du système Verilog : Guide du langage, de la méthodologie et...
Springer Nature
Ce livre fournit un guide pratique et orienté vers...
Assertions et couverture fonctionnelle du système Verilog : Guide du langage, de la méthodologie et des applications - System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Introduction à Systemverilog - Introduction to Systemverilog
Springer Nature
Ce livre fournit un guide pratique et orienté vers l'application de l'ensemble du langage...
Introduction à Systemverilog - Introduction to Systemverilog
Assertions et couverture fonctionnelle de Systemverilog : Guide du langage, de la méthodologie et...
Springer Nature
Introduction. - Assertions du système Verilog. -...
Assertions et couverture fonctionnelle de Systemverilog : Guide du langage, de la méthodologie et des applications - Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Vérification de la conception fonctionnelle Asic/Soc : Guide complet des technologies et des...
Springer Nature
Ce livre décrit en détail toutes les technologies...
Vérification de la conception fonctionnelle Asic/Soc : Guide complet des technologies et des méthodologies - Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Vérification de la conception fonctionnelle Asic/Soc : Guide complet des technologies et des...
Springer Nature
Ce livre décrit en détail toutes les technologies...
Vérification de la conception fonctionnelle Asic/Soc : Guide complet des technologies et des méthodologies - Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Assertions et couverture fonctionnelle du système Verilog : Guide du langage, de la méthodologie et...
Springer Nature
Ce livre fournit un guide pratique et orienté vers...
Assertions et couverture fonctionnelle du système Verilog : Guide du langage, de la méthodologie et des applications - System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Introduction à Systemverilog - Introduction to Systemverilog
Springer Nature
Ce livre fournit un guide pratique et orienté vers l'application de l'ensemble du langage...
Introduction à Systemverilog - Introduction to Systemverilog

Les œuvres de l'auteur ont été publiées par les éditeurs suivants :

Springer Nature

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)