Synthese logique sur reseaux programmables de type FPGA et CPLD

par Aadil Amoura

Thèse de doctorat en Recherche opérationnelle

Sous la direction de Gabrièle Saucier.

Soutenue en 1998

à Grenoble INPG .

mots clés

• Sciences appliquees
• Electronique
• Synthese circuit
• Circuit logique
• Reseau porte programmable
• Algebre boole
• Diagramme binaire decision
• Prediction
• Caracteristique temporelle
• Conception assistee
• Circuit integre
• Cpld
• Couverture noeud
• Decomposition disjointe
• Bidecomposition
• Methode roth karp
• Cone logique
• Floorplan
• Circuit synthesis
• Logic circuit
• Field programmable gate array
• Boolean algebra
• Binary decision diagram
• Prediction
• Time curve
• Computer aided design
• Integrated circuit

Résumé

Cette these se situe dans le cadre de la synthese logique. L'objectif de ce travail est de resoudre des problemes fondamentaux de la synthese logique sur les reseaux programmables de type fpga et cpld, lies a la decomposition technologique et a la prediction temporelle sur ce type de boitiers. La premiere partie du travail s'interesse aux techniques de decomposition technologique permettant un ciblage heterogene sur les reseaux programmables de type fpga. Nous partons des techniques classiques, puis sont proposees des alternatives basees sur le principe de couverture des nuds et la decomposition de roth&karp. Nous presentons en outre des methodes de bi-decomposition booleenne en utilisant les operateurs logiques or et xor. Ces methodes sont particulierement interessantes pour permettre une meilleure exploitation des ressources des nouveaux cplds ainsi que les differentes configurations des blocs logiques des nouveaux fpgas. La derniere partie traite de la prediction temporelle sur des cibles hierarchiques. La modelisation des circuits en utilisant les structures de cones logiques, et leur classification temporelle permet d'orienter un decoupage du plan de masse, lequel guidera les outils de placement et routage.

Titre traduit

Logic synthesis on programmable devices (fpga, cpld)

Pas de résumé disponible.