Browsing Titles index "Un outil pour la spécification de matériel et la génération de modèles exécutables"
Now showing items 1-1 of 1
-
Un outil pour la spécification de matériel et la génération de modèles exécutables
(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 ...