Publications

Thèses


< retour aux thèses

« IRENE : un langage pour la description, simulation et synthèse automatique du matériel VLSI ».

Auteur : S. Marine
Directeur de thèse : F. Anceau
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : Informatique
Soutenance : 03/02/1986
Pages : 350

Résumé

Discussion des termes clés des langages de description ; nécessité d’une sémantique matérielle. Le langage IRENE sert à la description comportementale et structurelle des circuits intégrés VLSI. Principes du simulateur fonctionnel du langage IRENE, des outils de synthèse KARENE et MACSIM et d’une interface avec le compilateur de silicium SYCO. KASRENE assure l’intégration des langages IRENE et KARL. Solution basée sur une organisation centrée objet de la base de données d’un système de conception assistée de VLSI.