Parcourir Faculté des arts et des sciences par auteur·e "Babkine, Philippe-André"
Voici les éléments 1-1 de 1
-
Un outil pour la spécification de matériel et la génération de modèles exécutables
Babkine, Philippe-André (1996-08-01)Ce mémoire présente un outil et une méthodologie permettant le développement rapide de modèles structurés dans le but de vérifier la fonctionnalité de systèmes numériques VLSI. Le modèle d'un système numérique s'élabore en décrivant le comportement ...