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.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.