Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Vérification des systèmes sur puce soc basée sur les assertions abv
Univ Europeenne - EAN : 9786131580222
Édition papier
EAN : 9786131580222
Paru le : 1 avr. 2018
49,90 €
47,30 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786131580222
- Réf. éditeur : 6210810
- Editeur : Univ Europeenne
- Date Parution : 1 avr. 2018
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 92
- Format : H:229 mm L:152 mm E:6 mm
- Poids : 148gr
- Interdit de retour : Retour interdit
- 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.
