Thèse de doctorat en Informatique
Sous la direction de Przemyslaw Bakowski.
Soutenue en 1991
à Lille 1 .
L'accroissement incessant de complexité des circuits nécessite la définition de méthodes et d'outils, en particulier de simulation, toujours plus puissants. La génération de simulateurs, c'est-à-dire la traduction de la description d'un circuit en un programme écrit dans un langage de haut niveau, permet d'ajouter la portabilité à l'avantage majeur des méthodes de compilation qui est l'efficacité. L'inconvénient de cette technique réside dans l'importance de la taille des simulateurs produits et est dû à l'emploi du schéma trop classique de traduction d'un algorithme en un autre. Ce problème est évité grâce à la transformation des parties contrôles de circuits avant la génération. Le modèle résultant est alors constitué d'une partie contrôle essentiellement sous forme de données et d'une partie opérative sous forme algorithme. L'emploi de cette méthode, qui ne dépend pas du langage de description utilisé, permet a la fois la réduction de la taille des simulateurs et l'accélération de leur exécution
Functionnal abstraction of circuits' control part to speed-up generated simulators : a contribution to the definition of cad tools
Pas de résumé disponible.