Vérification des systèmes sur puce SOC basée sur les Assertions ABV
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.
Abdelhak Ferchichi est né en 1981 à « cité el Manar » en Utique, Tunisie.
Il est marié et père du chère ANAS.
Après un parcours universitaire, il a eu son diplôme de Thèse de Doctorat en Electronique à la faculté des sciences de Tunis en 2011.
Actuellement, il est un professeur universitaire à l’école technologique d’Abha en Arabie Saudia.
Fiche technique
- Auteur
- ABDELHAK FERCHICHI
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Année
- 2013
- Pages
- 92
- Pays
- Tunisie
30 autres produits dans la même catégorie :
Voir toutMise en œuvre des systèmes d'information dans les contextes des pays en développement
- Nouveau
Etude du comportement diélectrique du mélange Résine-BT-Cu2O
- Nouveau
Modélisation, identification et commande des systèmes physiques et logistiques
- Nouveau
Conception et mise en œuvre d'un système de relevé automatique des compteurs sans fil
- Nouveau