Bibliographie & annexes
Présentation
English
RÉSUMÉ
L'algèbre de Boole est une structure mathématique se rapportant à la manipulation des propositions et variables logiques à travers des équations. Les énoncés VRAI et FAUX y sont représentés par des valeurs binaires, tandis que les termes ET et OU deviennent des opérateurs de multiplication et d’addition. L'algèbre de Boole est au cœur de la logique mathématique, de la théorie des ensembles et de la théorie de l'information. Elle est utilisée aussi bien en mathématiques qu'en physique, et veille également aux fondements de l’informatique. Aujourd'hui les applications sont nombreuses, notamment en électronique et en télécommunications.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleAuteur(s)
-
Jean VUILLEMIN : Professeur d'informatique à l'École normale supérieure
INTRODUCTION
Le livre An Investigation of the Laws of Thought de George Boole donne les règles de ce qu'on appelle l'algèbre de Boole. Depuis 1854, le sujet a trouvé d'importantes applications, en mathématiques d'abord, puis en physique, en informatique et dans les télécommunications. L'algèbre de Boole fait maintenant partie des fondements théoriques de toutes ces disciplines. L'évaluation massive de formules booléennes, des milliards de fois chaque nanoseconde, par des puces électroniques, est l'une des clés de notre brave nouveau siècle numérique. La vérification automatique de formules booléennes massives (des millions de portes) est une autre clé dans la conception fiable de divers systèmes numériques critiques.
L'expertise technique et scientifique de référence
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Mathématiques
(167 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Conclusion
English
3. Pratique
Les tous premiers circuits étaient dessinés et optimisé à la main : chaque porte et chaque transistor économisé représente alors des dollars en moins dans le coût de fabrication de chaque puce.
Il reste vrai que tout gain dans la surface du circuit fait baisser le coût unitaire de fabrication des puces, et ce d’autant plus que le volume de production est grand. Mais, vu la taille des circuits actuels, toutes ces étapes d’optimisation de bas niveau sont maintenant entièrement automatiques. Une des clés de ce processus est la manipulation et la réduction automatique de formules booléennes, dont la taille est nécessairement aussi grande que celle des circuits à réaliser.
Contentons nous ici d’évoquer trois aspects de ce sujet :
1. La synthèse automatique des circuits prédiffusés à partir de leur « netlist » ;
2. La synthèse automatique de circuits arithmétiques ;
3. La forme normale BDD des circuits.
3.1 Circuit électronique
La base nor est difficile à manipuler, pour les humains. Pourtant, la porte nor joue un rôle technologique historiquement important, car il suffit de quatre transistors cMOS pour la réaliser (figure 9 a ). Comme elle est petite, elle est rapide. Enfin, cette porte forme – à elle seule – une base de l’algèbre de Boole (section 2.1.3) : toute fonction booléenne peut se calculer en combinant exclusivement les entrées par des portes nor (figure 9 b ).
Les premiers circuits prédiffusés sont alors des matrices denses de portes nor (figure 8). Les couches de fabrication – jusqu’au métal non compris – sont préalablement diffusées sur des composants identiques, tirés en très grande série. La métallisation se fait ensuite sur des lots spécifiques à chaque client ; c’est la...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Mathématiques
(167 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Pratique
BIBLIOGRAPHIE
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Mathématiques
(167 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
