Search
Now showing items 1-3 of 3
Simulateur compilé d’une description multi-langage des systèmes hétérogènes
(2011-08-04)
La conception de systèmes hétérogènes exige deux étapes importantes, à savoir : la modélisation
et la simulation. Habituellement, des simulateurs sont reliés et synchronisés
en employant un bus de co-simulation. Les ...
Timing verification in transaction modeling
(2010-05-05)
Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les ...
Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce
(2012-05-03)
Avec la complexité croissante des systèmes sur puce, de nouveaux défis ne cessent d’émerger dans la conception de ces systèmes en matière de vérification formelle et de synthèse de haut niveau. Plusieurs travaux autour de ...