ИСТИНА

Федеральное государственное бюджетное учреждение науки "Институт проблем проектирования в микроэлектронике Российской академии наук (ИППМ РАН)" В части С.И. Гурова В рамках проекта был подготовлен обзор «Мажоритарная алгебра для синтеза комбинационно-логических схем» в 2-х частях. Первая часть (2 п. л.) принята к печати и опубликована в Таврическом вестнике информатики и математики. № 2 (47), 2020. Международное научно-теоретическое издание. Симферополь: Крымский федеральный университет им. В. И. Вернадского. В целом существующие средства автоматизации проектирования электронных систем (Electronic design automation, EDA) показывают удовлетворительные результаты логического синтеза. При этом возможности дальнейшего повышения их эффективности традиционными средствами практически исчерпаны. Это объясняет интерес разработчиков алгоритмов оптимизации и программных средств к новым методам синтеза комбинационно-логических схем. Естественной идеей здесь является разработка и использование нетрадиционных способов представления булевых функций (БФ). Перспективным представляется подход с использованием операций мажорирования (MAJ) и инвертирования (INV) в качестве базовых операций представления БФ (неформально это функция Maj(x,y,z) от трёх аргументов, которая принимает значение истина, если хотя бы два из её входов истины).