Abstract FR:

Les investigations d'un groupe d'experts de l'u. T. E. Auquel participe le g. E. R. I. I. De l'i. N. S. A. De toulouse, ont conduit a la conception et a la realisation d'un langage objet prenant en compte les besoins des logiciels de validation et de simulation de circuits integres. Ce document relate les etapes de cette recherche. Il expose la justification de l'introduction de nouveaux concepts, et la realisation du langage de programmation hydre traduisant ces concepts. Ce langage permet une description hierarchique d'une application cible, sa mise en uvre dans de multiples contextes (saisie de modeles, simulation, evaluations de sequences de test), et la prise en compte, des sa specification, de tous ses aspects (appeles potentialites). Nous concluons sur les possibilites et les limites offertes par le langage hydre