З використанням єдиного теоретико-множинного підходу розроблено нові оптимізаційні методи логікового синтезу комбінаційних мереж: мінімізаціїї (методи кон'юнктермового поля, планарних візерунків, розчеплення кон'юнктермів), декомпозиції (метод q-розбиття кон'юнктермів) булевих функцій та їх систем і кодування підфункцій для задач функційної декомпозиції, а також методи виявлення неістотних змінних, симетрії та розпізнання її типів у булевих функціях. На базі методу розчеплення кон'юнктермів розроблено програму SPLIT, переваги якої проілюстровано у зіставленні з програмою ESPRESSO за результатами мінімізації випадково заданих функцій від різної кількості змінних, а також на прикладах логікового синтезу комбінаційних мереж. Узагальнено класифікацію функційних декомпозицій та уточнено типи симетрії булевих функцій.

Індекс рубрикатора НБУВ: З972-01

Рубрики:

Дискретна обчислювальна техніка

Шифр НБУВ: РА333891 Пошук видання у каталогах НБУВ 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Рицар Богдан Євгенович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"