Vérification des systèmes sur puce soc basée sur les assertions abv
Ferchichi-A - Collection Omn.univ.europ.
92 pages, parution le 01/04/2018
Résumé
Le présent livre traite le problème de vérification des systémes sur puce connus aussi par le terme anglais système on Chip. Le traitement des SOC se fait dans un niveau d'abstraction évolué connus pas niveau transactionnel TLM. La technique de vérfication proposée est basée sur l'utilisation des assertion ABV. Le langage de programmation utilisé est le System C pour les plateformes. Pour les assrtion, on utilisé des langages scripts tel que le PERL.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Editions universitaires européennes |
| Auteur(s) | Ferchichi-A |
| Collection | Omn.univ.europ. |
| Parution | 01/04/2018 |
| Nb. de pages | 92 |
| Format | 15.2 x 22.9 |
| Couverture | Broché |
| Poids | 148g |
| EAN13 | 9786131580222 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Nos clients ont également acheté
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
