Abstract FR:

Ce travail présente à la fois un outil de modélisation (RÉseau Multi-Niveaux : REMUN) et un langage de description (LIDO : Langage Interprété de Description des Ordinateurs). Une 1ère partie concerne la définition de REMUN dont le tout est de permettre la modélisation d'un système logique à tous les niveaux de description. La seconde partie présente l'application de cet outil au niveau transfert de registre, un langage de description de systèmes logiques, LIDO, a été défini.