Synthèse logique avec B-Conditional BDDs

Cette séance de cours introduit une nouvelle structure de représentation logique, les diagrammes de décision binaires à condition B, permettant une synthèse logique efficace en exploitant la fonctionnalité des FET de polarité contrôlable à double porte. L'instructeur explique la motivation derrière cette nouvelle forme de représentation, sa cartographie directe sur les FET, les résultats expérimentaux, et les avantages de l'utilisation de B-Conditional BDDs pour les circuits logiques. En employant des règles de réduction spécifiques, la séance de cours démontre la réduction remarquable de la taille obtenue avec ces diagrammes, montrant leur efficacité dans la représentation de fonctions comme la majorité et l'addition binaire. La séance de cours traite également de la nature canonique des BDD conditionnels B, de leur application dans la synthèse logique, et des améliorations significatives dans la réduction du nombre de dispositifs, la profondeur logique et la vitesse par rapport aux méthodes de synthèse traditionnelles.