Conception des circuits programmables par la réécriture conditionnelle et étude des aspects vectoriels des fonctions booléennes
Dans ce travail, nous proposons une méthode de conception originale pour les circuits combinatoires de type FPLA, basée sur des techniques de réécriture conditionnelle. Ce cadre théorique fort nous permet d'obtenir une méthode correcte (les solutions proposées sont exactes) et complète. L'...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awduron Eraill: | |
| Fformat: | Thèse et Mémoire papier |
| Iaith: | Français |
| Cyhoeddwyd: |
[S.l.] :
[s.n.]
2001.
|
| Pynciau: | |
| Nodyn: |
Publication autorisée par le jury |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Designing programmable circuits by conditional rewriting and study the vectorial aspects of boolean functions |
| LEADER | 03642nam a22002777a 4500 | ||
|---|---|---|---|
| 001 | 190183 | ||
| 008 | 030130s2001 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN069467420 | ||
| 041 | 0 | |a fre |b fre |b eng | |
| 084 | |a 004 | ||
| 100 | 1 | |a Maazouzi, Zahir, |d 1972- | |
| 240 | 1 | 0 | |a Designing programmable circuits by conditional rewriting and study the vectorial aspects of boolean functions |
| 245 | 1 | 0 | |a Conception des circuits programmables par la réécriture conditionnelle et étude des aspects vectoriels des fonctions booléennes |c par Zahir Maazouzi ; [sous la dir. de] François Le Berre,... |
| 260 | |a [S.l.] : |b [s.n.], |c 2001. | ||
| 300 | |a 162 p. : |b graph. ; |c 30 cm. | ||
| 500 | |a Publication autorisée par le jury | ||
| 502 | |a Thèse de doctorat. Informatique. Orléans. 2001 | ||
| 504 | |a Bibliogr. p. 157-162 | ||
| 520 | |a Dans ce travail, nous proposons une méthode de conception originale pour les circuits combinatoires de type FPLA, basée sur des techniques de réécriture conditionnelle. Ce cadre théorique fort nous permet d'obtenir une méthode correcte (les solutions proposées sont exactes) et complète. L'implémentation du système de règles d'inférences, s'est faite dans un premier temps en utilisant un démonstrateur automatique dans les théories de Horn. Pour améliorer les performances nous avons développé des heuristiques et des stratégies, propres à nos objectifs. Puis nous avons élaboré un nouveau logiciel en adaptant les structures de données et ne conservant que les traitements nécessaires à notre problématique. Nous avons ensuite étudié l'aspect vectoriel de l'algèbre de Boole et ainsi dégagé de nouvelles propriétés sur les tables de vérités et la notion de +-somme de produitsa d'une fonction booléenne. Ceci nous a permis d'optimiser considérablement en mémoire et en temps notre méthode, tout en conservant la correction et la complétude. L'efficacité restant toutefois limitée, nous avons repris les propriétés dégagées et proposé une nouvelle représentation dite +-chapeaua des produits booléennes. Cette nouvelle représentation a l'avantage de la représentation dite syntaxique tout en conservant les propriétés établies sur la forme vectorielle. Ceci nous a permis de dépasser le cadre de conception de circuit et de proposer un arbre ternaire ayant pour racine une fonction booléenne et codant sous forme +-chapeaua l'ensemble de ses implicants premiers. Cet arbre inclut la nouvelle notion de sémantique d'une fonction booléenne qui optimise notre méthode. Cette approche a aussi été utilisée pour le calcul d'une couverture irredondante d'une fonction. La complexité théorique et la comparaison avec d'autres méthodes existantes sont étudiées et l'amélioration est confirmée en pratique par le développement d'un prototype ayant comme structures de données sous-jacente les BDD. | ||
| 650 | |a Réseaux logiques programmables | ||
| 650 | |a Réécriture, Systèmes de (informatique) | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Le Berre, François, |d 1932- |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 246634103 |t Conception des circuits programmables par la réécriture conditionnelle et étude des aspects vectoriels des fonctions booléennes |f par Zahir Maazouzi |c Lille |n Atelier national de reproduction des thèses |d 2001 |p Microfiches |s Lille-Thèses |
| 997 | |0 190183 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2001-42 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2001-42 b | ||