Circuits logiques numériques Réduction

De nos jours les concepteurs de circuits logiques numériques cherchent à obtenir la plus grande précision possible pour les circuits conçus avec un minimum de temps consommé et enfin avec un minimum d'effort. Les approches traditionnelles ne permettent pas de surmonter toutes ces contraintes même en utilisant des cartes de Karnaugh en particulier lorsque l'on utilise plus de 4 variables d'entrée. Le problème le plus important auquel sont confrontés les concepteurs est de choisir quelle(s) solution(s) optimale(s) est (sont) possible(s) et comment en tenant compte de l'ordre des variables pour décider combien de circuits logiques numériques équivalents peuvent être extraits du circuit original. Ce livre s'appuie sur l'approche du diagramme de décision binaire pour représenter de manière symbolique un ensemble de variables d'entrée. Cette approche est largement utilisée dans le domaine de la vérification formelle. L'ordre des variables est une étape très importante dans le processus d'optimisation du diagramme de décision binaire. Un bon ordre des variables réduira considérablement la taille d'un diagramme de décision binaire. Nous espérons que vous prendrez plaisir à lire le fruit de nos efforts et que ce livre vous aidera à obtenir une perspective générale sur les diagrammes de décision binaires.