Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Le système HW/SW est un assemblage d'entités logicielles et matérielles. Ces dernières peuvent être récemment ou précédemment conçues (à conception courante ou préconçues). Dans ce dernier cas, il s'agit d'une réutilisation de produits à propriétés intellectuelles (PI) ; ces éléments IP sont fournis aux clients sous forme de boites noires pour la raison que les constructeurs préservent leurs droits sur ces produits. En d'autres mots, seulement le comportement externe de ces éléments est disponible à l'acheteur quant aux détails de leurs structures internes, ils restent une propriété privée de leurs constructeurs. Ces systèmes connaissent une grande difficulté au niveau de …
Colloque
Le système HW/SW est un assemblage d'entités logicielles et matérielles. Ces dernières peuvent être récemment ou précédemment conçues (à conception courante ou préconçues). Dans ce dernier cas, il s'agit d'une réutilisation de produits à propriétés intellectuelles (PI) ; ces éléments IP sont fournis aux clients sous forme de boites noires pour la raison que les constructeurs préservent leurs droits sur ces produits. En d'autres mots, seulement le comportement externe de ces éléments est disponible à l'acheteur quant aux détails de leurs structures internes, ils restent une propriété privée de leurs constructeurs. Ces systèmes connaissent une grande difficulté au niveau de …
Colloque
La covérification des systèmes intégrés, étant une nouvelle perception de vérification très prometteuse, revêt un intérêt économique potentiel à l'heure actuelle. Elle consiste à vérifier simultanément les deux parties composantes, logicielle et matérielle, d'un système au fur et à mesure que son design se réalise. Cet article expose les concepts de la covérification et pose formellement son problème. Aussi, présente-il ses différentes techniques et les modèles de représentation des graphes d'états d'un système à covérifier. Puis, il analyse et évalue les différentes méthodes d'accélération de l'accessibilité, et avant de clore, il décrit brièvement quelques environnements récents de codesign et de …
Colloque
La covérification des systèmes intégrés, étant une nouvelle perception de vérification très prometteuse, revêt un intérêt économique potentiel à l'heure actuelle. Elle consiste à vérifier simultanément les deux parties composantes, logicielle et matérielle, d'un système au fur et à mesure que son design se réalise. Cet article expose les concepts de la covérification et pose formellement son problème. Aussi, présente-il ses différentes techniques et les modèles de représentation des graphes d'états d'un système à covérifier. Puis, il analyse et évalue les différentes méthodes d'accélération de l'accessibilité, et avant de clore, il décrit brièvement quelques environnements récents de codesign et de …
