Vérification des systèmes sur puce SOC basée sur les Assertions ABV - Ferchichi, Abdelhak
32,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

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.

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Autorenporträt
Abdelhak Ferchihci est né en 1981 à "cité el Manar" en Utique, Tunisie. Il est père du chère Anas. Il a eu son Diplome de Doctorat en electronique à l'unité des recherche en Hyperfréquence à la faculté des sciences de Tunis.Il est professeur universitaire à l'école Technologique de Abha en Arabie Saoudi.