Résumé
La synthèse des circuits numériques est un champ d’application majeur des BDDs. Nous présentons le processus de conception de ces circuits numériques, puis nous décrivons deux applications des BDDs dans ce processus. Tout d’abord la génération des circuits à partir de leurs descriptions algorithmiques, puis la réduction de la consommation électrique de ces circuits.
