Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Les systèmes numériques complexes (ITGE) sont conçus et mis au point grâce à l'utilisation de modèles exécutables ou spécifications. Nous présentons un outil et une méthodologie de développement de modèles de ces systèmes. Dans le cadre de notre méthodologie, le concepteur doit distinguer entre le comportement de l'interface et le comportement interne du circuit. L'outil de développement intervient lors de la saisie des spécifications de l'interface du circuit. L'unité de base d'une telle spécification est un chronogramme. Celui-ci peut s'illustrer graphiquement comme séquence chronologique et permet de spécifier des règles temporelles entre événements. Les chronogrammes peuvent être combinés entre eux …
Colloque
Les systèmes numériques complexes (ITGE) sont conçus et mis au point grâce à l'utilisation de modèles exécutables ou spécifications. Nous présentons un outil et une méthodologie de développement de modèles de ces systèmes. Dans le cadre de notre méthodologie, le concepteur doit distinguer entre le comportement de l'interface et le comportement interne du circuit. L'outil de développement intervient lors de la saisie des spécifications de l'interface du circuit. L'unité de base d'une telle spécification est un chronogramme. Celui-ci peut s'illustrer graphiquement comme séquence chronologique et permet de spécifier des règles temporelles entre événements. Les chronogrammes peuvent être combinés entre eux …
Colloque
Les systèmes numériques complexes (ITGE) sont conçus et mis au point grâce à l'utilisation de modèles exécutables ou spécifications. Nous présentons un outil et une méthodologie de développement de modèles de ces systèmes. Dans le cadre de notre méthodologie, le concepteur doit distinguer entre le comportement de l'interface et le comportement interne du circuit. L'outil de développement intervient lors de la saisie des spécifications de l'interface du circuit. L'unité de base d'une telle spécification est un chronogramme. Celui-ci peut s'illustrer graphiquement comme séquence chronologique et permet de spécifier des règles temporelles entre événements. Les chronogrammes peuvent être combinés entre eux …
