Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
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 …
