Thèse soutenue

Synthèse logique à base de règles pour les compilateurs de silicium

FR  |  
EN
Auteur / Autrice : Stéphane Hanriat
Direction : Gabrièle Saucier
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1986
Etablissement(s) : Grenoble INPG
Partenaire(s) de recherche : Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006)

Résumé

FR

L'optimisation de la synthèse logique de circuits dépend de la structure matérielle cible pour les circuits combinatoires (logique aléatoire, réseaux prédiffusés, PLA. . . ) ainsi que de l'architecture choisie par le concepteur pour les circuits plus complexes (contrôleur). On propose un système de synthèse flexible à base de règles (système ASYL). Ces règles traduisent les critères d'optimisation des structures cibles ainsi que les choix de conception. L'illustration pratique concerne essentiellement la synthèse des fonctions booléennes sur PLA et la synthèse de contrôleur