Спрощення логічного синтезу цифрових блоків на основі каталогів логічних функцій

Abstract

Аналізується сучасний стан каталогізації мінімальних форм логічних функцій (ЛФ) та пропонуються більш ущільнені каталоги ЛФ у вигляді мегагруп релятивності (МГР), кількість яких не перевищує 2n-1, що складає реальну практичну основу для радикального спрощення етапу логічного синтезу цифрових блоків різного призначення. Пропонується інструментальний пакет, який дозволяє безпосередньо по номеру обраної ЛФ знайти мінімальні форми представлення ЛФ у трьох ізоморфних базисних формах представлення (ФП), а також інформацію про очікувані показники складності реалізації ЛФ.