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 toutLa commercialisation Électronique via un paiement mobile en RDC
- Nouveau
Commande prédictive d’un moteur asynchrone à double alimentation
- Nouveau
Implémentation sur DSP d’une technique de modulation vectorielle
- Nouveau
Etude et Analyse des Systèmes de Transport d’Energie Electrique
- Nouveau
Traction électrique utilisant un moteur asynchrone doublement alimenté
- Nouveau
Électromagnétique et la structure des bandes d’énergie
- Nouveau
Onduleurs Multiniveaux de Type NPC Dédiés aux Convertisseurs PV
- Nouveau
Commande vectorielle adaptative d’un moteur à induction triphasé
- Nouveau
Onduleur Delta: Structure, Modélisation et Commande (Partie II)
- Nouveau
Comportement électromagnétique d'une micro-bobine planaire intégrée
- Nouveau
Etude des structures microrubans par une approche intégrale
- Nouveau
Commande DTC Intelligente Appliquée au Moteur à Induction
- Nouveau
Apprentissage en profondeur pour la classification des images
- Nouveau
Diagnostic des défauts d’une chaîne de production renouvelable
- Nouveau
Antennes de communication et leurs interactions avec le corps humain
- Nouveau
Etude numérique et expérimentale de dispositifs électroacoustiques
- Nouveau
Utilisation du téléphone portable et accompagnement des producteurs
- Nouveau
Récepteur radio-impulsionnel pour un biocapteur implantable
- Nouveau