Optimisation booléenne: MIGs et portes majoritaires

Cette séance de cours couvre l'optimisation des fonctions booléennes à l'aide de Majority-Inverter Graphs (MIGs) et Majority Gates. Il explique la représentation logique indépendante de la technologie dans les MIGs, les propriétés des MIGs, l'algèbre booléenne MIG, l'optimisation algébrique et la synthèse exacte des MIGs. La séance de cours se penche également sur la réécriture booléenne, les fonctions Majority-n et la transformation des fonctions majoritaires n-argument en majorités à 3 entrées. Il se termine par des références sur les MIG et leurs applications en optimisation logique.