La complexité et le peu d'accessibilité des équipements numériques rend de plus en plus difficiles les taches de vérification et de dépannage de ces équipements. Pour pallier ces problèmes, des outils ont été définis pour traiter des niveaux de description élevés contournant ainsi la complexité intrinsèque des descriptions de bas niveau. Dans ce mémoire, nous nous sommes intéressés a la définition d'un outil d'analyse de testabilité qui permette de prendre en compte des circuits, cartes ou systèmes décrits en langage vhdl. L'objectif est de pouvoir traiter des équipements asynchrones décrits par leur comportement aussi bien que par leur hiérarchie. L'analyse de testabilité se base sur la représentation des transferts d'information et permet, d'une part de déterminer une spécification fonctionnelle du programme de test et, d'autre part, de calculer des mesures de testabilité exprimées par une mesure de contrôlabilité et une mesure d'observabilité. Dans cette thèse nous présentons, tout d'abord, la compilation de programmes vhdl comportementaux sous forme de modèles de transfert d'information. Nous définissons la notion de capacité d'information dynamique qui permet de calculer des mesures de testabilité significatives même dans une certaine classe de cycles séquentiels. Ici sont abordes les problèmes de simplification et d'optimisation des graphes déduits d'une description comportementale. Par le biais de la définition d'une bibliothèque nous avons apporte une solution au probleme de la concaténation de graphes de transfert d'information pour compiler les descriptions hiérarchiques. Des expérimentations sur des exemples réels de circuits ont montre que les optimisations apportent une accélération des traitements d'analyse de testabilité ainsi que la pertinence de ce type de modélisation pour cerner a priori les problèmes de test

Dans le cadre de cette thèse, nous nous intéressons aux différents comportements de fluides structurés (solutions aqueuses de polymères, suspensions), sous écoulements cisaillés. Dans la première partie, nous donnons une description globale des objets constituant le matériau en utilisant une modélisation structurelle, d'une part et en effectuant des mesures de biréfringence pour qualifier l'anisotropie des objets, d'autre part. A travers la loi tentio-optique, nous montrons que le comportement des objets ne dépend que de la contrainte appliquée. En outre, nous étudions les conditions de mesures objectives pour mener une caractérisation rigoureuse, en comparant des mesures de fluage et d'oscillations et en utilisant une approche analytique. Ce qui va permettre de développer une méthode d'identification des paramètres viscoélastiques et leurs évolutions sous cisaillement, dans le régime linéaire et non linéaire. La deuxième partie concerne les écoulements bidimensionnels de ces fluides dans une géométrie de cylindres coaxiaux centrés et excentrés, à grand entrefer. Le dispositif expérimental est validé par des mesures sur un fluide newtonien. L'objectif est d'étudier le comportement local de différents fluides en utilisant la technique de la PIV. Pour cela, nous réalisons un dispositif expérimental fiable et suffisamment précis pour accéder au champs de vitesse instantané dans tous l'entrefer. Les mesures nous permettent d'accéder à la loi de comportement locale de chaque matériau que nous comparons avec la loi de comportement globale donnée par le rhéomètre dans le cas de la géométrie centrée. De plus, des simulations numériques sur Fluent, ont été effectuées pour compléter notre étude. Les résultats obtenus pour des écoulements laminaires, de différents fluides: newtonien, peu rhéofluidifiant, très rhéofluidifiant, montrent qu'il est possible de décrire et prédire le comportement des fluides newtoniens et faiblement rhéofluidifiants mais les modèles classiques existants dans Fluent ne sont pas capables de décrire le comportement des fluides très rhéofluidifiant qui présentent une très forte hétérogénéité des gradients de vitesse dans l'entrefer / Under this thesis, we look at the different behaviors of structured fluids (aqueous solutions of polymers, suspensions) under sheared flow. In the first part, we give a comprehensive description of the items constituting the material using a structural modeling, on the one hand and carrying out birefringence measures to qualify anisotropy objects on the other. Through the tentio-law, we show that the behavior of objects depends only on the applied stress. In addition, we study the conditions of objective measures to conduct a rigorous characterization, comparing creep and oscillations measures, and using an analytical approach. This will help develop a method for identifying viscoelastic parameters and their developments under shear, in both a linear and a no linear regime. The second part concerns the two-dimensional flows of fluids in a coaxial cylinder geometry centered and eccentred, in a wide gap. The objective is to study the local behavior of different fluids using the PIV technic. To do this, we realize an experimental reliable and accurate enough, in all the gap. The experimental device is validated by measurements on a Newtonian fluid. The measures allow to access the local law behavior of each material that we compare with the overall behavior of law given by the rheometer in the case of centered geometry . In addition, digital simulations on Fluent, were made to complement our study. The results for laminar flow, for different fluids: newtonian, little rhéofluidifiant and very rhéofluidifiant, show that it is possible to describe and predict the behavior of some fluid but the existing model in Fluent can not describe the behavior of very rheofluidifiant fluids which have a very strong heterogeneity gradients speed in the gap.

Cette thèse discute dans un premier temps des propriétés et des concepts des langages de description du matériel HDL. Ensuite, le langage FIDEL pour la description (fonctionnelle, structurelle) et la simulation de circuits intégrés VLSI est présenté, en insistant sur les différentes caractéristiques de ce langage qui sont adaptées à une simulation hiérarchique et multi-niveaux. Deux outils de simulation, logico-fonctionnelle et electrico-fonctionnelle, sont présentés. Ces deux outils présentent une avancée dans le domaine de la simulation dans le but de garder la précision tout en diminuant le cout de simulation des circuits VLSI. Une évaluation des différents langages de description selon leurs domaines d'application et propriétés est présentée. Au vu de cette évaluation, FIDEL s'insère en bonne place, tant au niveau des concepts que de l'utilisation pratique