Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres

The context of this thesis is the functional verification of complex integrated circuits.The objective of our work is to create a seamless verification flow joint to the design flowand based on a proved technique called Assertions-Based Verification (ABV). The mainchallenge of TLM to RTL refinement is the disparity of these two domains : at TLM,communications are modeled as atomic function calls handling all the exchanged data.At RTL, communications are performed by signals according to a specific communicationprotocol. The proposed temporal transformation process is based on a set of formaltransformation rules. We have developed a tool performing the automatic refinement ofPSL specifications. As for design refinement assertion refinement is not fully automated.Temporal and structural information must be provided by the user, using an ergonomicinterface. The tool allows the generation of assertions in RTL but also hybrid assertions.Little work has been done before in this area, and the proposed solutions suffer from severerestrictions. To our knowledge, our prototype is the first tool that performs a temporaltransformation of assertions based on the formal semantics of a standard specificationlanguage (PSL).Cette thèse se situe dans le contexte de la vérification fonctionnelle des circuits intégrés complexes. L’objectif de ce travail est de créer un flot de vérification conjoint au flot de conception basé sur une technique appelée "vérification basée sur les assertions(ABV)". Le concept de base du flot est le raffinement automatique des spécifications formelles données sous la forme d’assertions PSL du niveau TLM au niveau RTL. La principale difficulté est la disparité des deux domaines : au niveau TLM, les communications sont modélisées par des appels de fonctions atomiques. Au niveau RTL, les échanges sont assurés par des signaux binaires évoluant selon un protocole de communication précis. Sur la base d’un ensemble de règles de transformation temporelles formelles, nous avons réalisé un outil permettant d’automatiser le raffinement de ces spécifications. Comme le raffinement des modèles, le raffinement des assertions n’est pas entièrement automatisable : des informations temporelles et structurelles doivent être fournies par l’utilisateur. L’outil réalise la saisie de ces informations de façon ergonomique, puis procède automatiquement à la transformation temporelle et structurelle de l’assertion. Il permet la génération d’assertions RTL mais aussi hybrides. Les travaux antérieurs dans ce domaine sont peu nombreux et les solutions proposées imposent de fortes restrictions sur les assertions considérées. À notre connaissance, le prototype que nous avons mis en oeuvre est le premier outil qui réalise un raffinement temporel fondé sur la sémantique formelle d’un langage de spécification standard (PSL)

Analyse des environnements supports à l'ingénierie collaborative synchrone à distance (approche ergonomique pour l'amélioration des outils via l'analyse des usages)

La conception de produits industriels complexes exige la collaboration de plusieurs acteurs de différents domaines et est distribuée géographiquement tout au long du processus de conception. Afin d'améliorer les résultats au regard du triptyque qualité, coût, délais et de la mondialisation des marchés, des concepteurs, distribués dans l'espace et dans le temps ont besoin d'un environnement de travail pour collaborer, afin de : créer une compréhension partagée entre les différents acteurs d'une équipe, les concepteurs doivent négocier et argumenter les solutions. partager des informations sur le produit entre différents métiers dans les étapes du processus de conception. synchroniser les différentes versions de modèles du produit entre les concepteurs. Le travail collaboratif s'organisant comme une alternance de travaux synchrones et asynchrones, nous souhaitons améliorer la continuité des flux d'informations entre ces différents modes de collaboration. Ceci passe par une amélioration des outils de communication technique en mode synchrone, et par la possibilité pour les concepteurs de synchroniser les versions de modèles modifiées en mode asynchrone. Ce deuxième point est obtenu par une identification de conflits entre version, et une facilitation du dialogue argumentatif synchrone afin de converger dans la négociation des choix de résolution de ces conflits. La démarche générale de la thèse se base sur la Design Research Methodology, basée sur une observation de situation industrielle et une analyse de scénarios d'usage, la proposition et le développement de nouveaux outils, et finalement une évaluation de l'utilisabilitéThe design of complex industrial products requires the collaboration of several actors of various domains and is geographically distributed throughout the process of design. To improve the results with regard to the triptych quality, cost, time and of the globalization of markets, designers, distributed in the space and in the time need a working environment to collaborate, to: To create an understanding shared between the various actors of a team, the designers have to negotiate and argue the solutions. Share information on the product between various trades in the stages of the process of design. Synchronize the various versions of models of the product between the designers. Collaborative design is organized as alternating synchronous and asynchronous work, we wish to improve continuity of information flow between these different modes of collaboration. This requires improved communication technology tools in synchronous mode, and the possibility for developers to synchronize models modified versions asynchronously. This second point is obtained by identifying conflicts between version, and facilitation of synchronous argumentative dialogue to converge in the negotiation of choice for resolving these conflicts.SAVOIE-SCD - Bib.électronique (730659901) / SudocGRENOBLE1/INP-Bib.électronique (384210012) / SudocGRENOBLE2/3-Bib.électronique (384219901) / SudocSudocFranceF

Reconnaissance automatique de la parole guidée par des transcriptions a priori

Robustness in speech recognition refers to the need to maintain high recognition accuracies even when the quality of the input speech is degraded. In the last decade, some papers proposed to use relevant meta-data in order to enhance the recognition process. Nevertheless, in many cases, an imperfect a priori transcript can be associated to the speech signal : movie subtitles, scenarios and theatrical plays, summariesand radio broadcast. This thesis addresses the issue of using such imperfect transcripts for improving the performance figures of automatic speech recognition (ASR) systems.Unfortunately, these a priori transcripts seldom correspond to the exact word utterances and suffer from a lack of temporal information. In spite of their varying quality, we will show how to use them to improve ASR systems. In the first part of the document we propose to integrate the imperfect transcripts inside the ASR search algorithm. We propose a method that allows us to drive an automatic speech recognition system by using prompts or subtitles. This driven decoding algorithm relies on an on-demand synchronization and on the linguistic rescoring of ASR hypotheses. In order to handle transcript excerpts, we suggest a method for extracting segments in large corpora. The second part presents the Driven Decoding Algorithm(DDA) approach in combining several speech recognition (ASR) systems : it consists in guiding the search algorithm of a primary ASR system by the one-best hypotheses of auxiliary systems.Our work suggests using auxiliary information directly inside an ASR system. The driven decoding algorithm enhances the baseline system and improves the a priori transcription. Moreover, the new combination schemes based on generalized-DDA significantly outperform state of the art combinations.L’utilisation des systèmes de reconnaissance automatique de la parole nécessite des conditions d’utilisation contraintes pour que ces derniers obtiennent des résultats convenables. Dans de nombreuses situations, des informations auxiliaires aux flux audio sont disponibles. Le travail de cette thèse s’articule autour des approches permettant d’exploiter ces transcriptions a priori disponibles. Ces informations se retrouvent dans de nombreuses situations : les pièces de théâtre avec les scripts des acteurs, les films accompagnés de sous-titres ou de leur scénario, les flashes d’information associés aux prompts des journalistes, les résumés d’émissions radio... Ces informations annexes sont de qualité variable, mais nous montrerons comment ces dernières peuvent être utilisées afin d’améliorer le décodage d’un SRAP.Ce document est divisé en deux axes liés par l’utilisation de transcriptions a priori au sein d’un SRAP : la première partie présente une méthode originale permettant d’exploiter des transcriptions a priori manuelles, et de les intégrer directement au cœur d’un SRAP. Nous proposons une méthode permettant de guider efficacement le système de reconnaissance à l’aide d’informations auxiliaires. Nous étendons notre stratégie à delarges corpus dénués d’informations temporelles. La seconde partie de nos travaux est axée sur la combinaison de SRAP. Nous proposons une combinaison de SRAP basée sur le décodage guidé : les transcriptions a priori guidant un SRAP principal sont fournies par des systèmes auxiliaires.Les travaux présentés proposent d’utiliser efficacement une information auxiliaire au sein d’un SRAP. Le décodage guidé par des transcriptions manuelles permet d’améliorer sensiblement la qualité du décodage ainsi que la qualité de la transcription a priori . Par ailleurs, les stratégies de combinaison proposées sont originales et obtiennent d’excellents résultats par rapport aux méthodes existantes à l’état de l’art

Optimisation multi-niveau d'une application de traitement d'images sur machines parallèles

Cette thèse vise à définir une méthodologie de mise en œuvre d applications performantes sur les processeurs embarqués du futur. Ces architectures nécessitent notamment d exploiter au mieux les différents niveaux de parallélisme (grain fin, gros grain) et de gérer les communications et les accès à la mémoire. Pour étudier cette méthodologie, nous avons utilisé un processeur cible représentatif de ces architectures émergentes, le processeur CELL. Le détecteurde points d intérêt de Harris est un exemple de traitement régulier nécessitant des unités de calcul intensif. En étudiant plusieurs schémas de mise en oeuvre sur le processeur CELL, nous avons ainsi pu mettre en évidence des méthodes d optimisation des calculs en adaptant les programmes aux unités spécifiques de traitement SIMD du processeur CELL. L utilisation efficace de la mémoire nécessite par ailleurs, à la fois une bonne exploitation des transferts et un arrangement optimal des données en mémoire. Nous avons développé un outil d abstraction permettant de simplifier et d automatiser les transferts et la synchronisation, CELL MPI. Cette expertise nous a permis de développer une méthodologie permettant de simplifier la mise en oeuvre parallèle optimisée de ces algorithmes. Nous avons ainsi conçu un outil de programmation parallèle à base de squelettes algorithmiques : SKELL BE. Ce modèle de programmation propose une solution originale de génération d applications à base de métaprogrammation. Il permet, de manière automatisée, d obtenir de très bonnes performances et de permettre une utilisation efficace de l architecture, comme le montre la comparaison pour un ensemble de programmes test avec plusieurs autres outils dédiés à ce processeur.This thesis aims to define a design methodology for high performance applications on future embedded processors. These architectures require an efficient usage of their different level of parallelism (fine-grain, coarse-grain), and a good handling of the inter-processor communications and memory accesses. In order to study this methodology, we have used a target processor which represents this type of emerging architectures, the Cell BE processor.We have also chosen a low level image processing application, the Harris points of interest detector, which is representative of a typical low level image processing application that is highly parallel. We have studied several parallelisation schemes of this application and we could establish different optimisation techniques by adapting the software to the specific SIMD units of the Cell processor. We have also developped a library named CELL MPI that allows efficient communication and synchronisation over the processing elements, using a simplified and implicit programming interface. This work allowed us to develop a methodology that simplifies the design of a parallel algorithm on the Cell processor.We have designed a parallel programming tool named SKELL BE which is based on algorithmic skeletons. This programming model providesan original solution of a meta-programming based code generator. Using SKELL BE, we can obtain very high performances applications that uses the Cell architecture efficiently when compared to other tools that exist on the market.PARIS11-SCD-Bib. électronique (914719901) / SudocSudocFranceF

Ordonnancement interactif basé sur des indicateurs : Applications à la gestion de commandes incertaines et à l'affectation des opérateurs

Pour répondre aux attentes de clients de plus en plus exigeants, les entreprises d'aujourd'hui doivent accroître leur compétitivité, leur productivité et leur réactivité. Pour répondre à ces exigences, la fonction ordonnancement se doit d'être plus réactive, plus performante et plus adaptée aux spécificités des compagnies. Parmi les différentes possibilités d'évolution de l'ordonnancement, la voie de l'ordonnancement interactif semble répondre à ces besoins, et parmi les approches possibles de l'interactivité, l'utilisation d'indicateurs permet au gestionnaire d'atelier de connaître toutes les données nécessaires à la mise au point d'un ordonnancement performant. Quatre types d'indicateurs ont été définis : - des indicateurs de contexte décrivant l'état général de l'atelier, - des indicateurs de diagnostic aidant à identifier les causes de problèmes courants, - des indicateurs d'action renseignant sur la pertinence et l'efficacité de l'utilisation des degrés de liberté, - des indicateurs de performance, évaluant les performances de l'ordonnancement par rapport aux objectifs de l'entreprise. Cette approche de l'ordonnancement interactif a été appliquée à deux problématiques actuelles. Des indicateurs spécifiques à ces deux problèmes ont été définis. La première application concerne la prise en compte dans l'ordonnancement de commandes incertaines, encore en cours de négociation. La deuxième application concerne la gestion des opérateurs de production à court terme, au niveau de l'ordonnancement. Un outil de construction de tableaux de bord mettant en oeuvre ces différents indicateurs a été réalisé dans le cadre d'un projet européen (le projet ASPIRE)