Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Communication
Dans cet article, nous présentons une approche et une méthodologie pour la description et l'implantation de SoC orientés vers le marché grandissant des applications multimédia. Notre approche pour la conception concurrente du matériel et logiciel de ces systèmes a pour but d'accélérer le cycle de conception et réduire le temps de commercialisation. Notre cycle de conception est basé sur une procédure claire pour passer de la spécification du système à son implantation, tout en proposant des possibilités pour refaire la partition du système ainsi que réutiliser des blocs IP préexistants. Afin de réaliser cet objectif, notre méthodologie requiert la séparation …
Communication
Cette soumission présente une méthodologie de conception de matériel basée sur la spécification et le raffinement d'une description DAHA (Diagrammes d'Actions Hiérarchiques Annotés). La méthode de spécification DAHA encourage l'élaboration concurrente des aspects fonctionnels et d'interface d'un module matériel, tout en les gardant séparés. Chaque module matériel est d'abord spécifié de manière abstraite à un niveau où les opérations atomiques sont les transactions naturelles de l'application. Les modules sont ensuite raffinés à un deuxième niveau où les opérations atomiques sont à présent des transactions de mots élémentaires. Finalement, le troisième et dernier niveau de raffinement est défini de manière à …
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 …
