Colloque

Covérification des systèmes HW/SW basée sur le concept de multithreading

Mostafa Azizi

Aboulhamid El Mustapha

Sofiane Tahar

Membre a labase

Mostafa Azizi

Résumé du 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 leur design, vérification et prototypage. Une technique appropriée dite cosimulation, permet de simuler et vérifier les deux parties logicielle et matérielle d'un système HW/SW. Un environnement de cosimulation est une plate forme englobant plusieurs simulateurs et assurant leur intercommunication. Par exemple, la partie HW est décrite par Verilog et simulée par XL-Verilog, et la partie SW par C et mise en exécution par xxgdb. Cette technique semblablement à la simulation souffre de problèmes de choix d’une bonne séquence de vecteurs de test, d’évaluation des résultats de la cosimulation, et d’excès du temps de cosimulation surtout pour les systèmes larges. Nous proposons alors une technique d’amélioration de la cosimulation basée sur le concept de multi-threading. Elle vise à améliorer le temps de cosimulation et faire de la vérification à objectifs d’une manière très flexible. Notre technique se résume en quatre étapes. La première consiste à mettre la partie logicielle sous forme de threads quant à la seconde, elle définit les points d’observation de la partie matérielle dans des registres visibles à la partie logicielle. La troisième, elle, complète la partie logicielle du système par d’autres threads dans une optique de permettre une vérification des propriétés et d’assurer une couverture de fautes, tout en simulant simultanément, et la partie matérielle et la partie logicielle. La quatrième étape consiste à effectuer la cosimulation à l’aide d’un outil de cosimulation et analyser les résultats afin d’en déduire des conclusions sur le choix des vecteurs de test.

Contexte

Section :

Informatique

Thème du colloque :

Informatique

Responsables :

Robert Laganière

Hôte : Université d’Ottawa

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique

Des cas pour représenter les données dans la génération automatique de résumés

Laurence Capus

Constructivisme par Internet de l'enseignement de la géométrie

Marie-Claire Ribeiro Póla

Diminution du nombre d'étapes entre la production et la mise en ligne d'information sur Internet

Guy Leblanc

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique

Covérification des systèmes intégrés. Étude et analyse

Mostafa Azizi

Covérification des systèmes intégrés. Étude et analyse

Mostafa Azizi

Covérification des systèmes HW/SW basée sur le concept de multithreading

Mostafa Azizi