Thèse de doctorat en Informatique
Sous la direction de Bernard Courtois.
Soutenue en 1986
à Grenoble INPG , en partenariat avec Institut d'informatique et mathématiques appliquées (Grenoble) (autre partenaire) .
Discussion des termes clés des langages de description; nécessité d'une sémantique matérielle. Le langage IRENE sert à la description comportemental 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
IRENE, a language for VLSI hardware description, simulation and automatic synthesis
Pas de résumé disponible.