informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-677Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNМИНИМИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ В КЛАССЕ ДИЗЪЮНКТИВНЫХ НОРМАЛЬНЫХ ФОРМЛеончикП. В.Объединенный институт проблем информатики НАН БеларусиBelarus20060712201801(9)8896Copyright © Леончик П.В., 20182018Леончик П.В.Леончик П.В.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/677

Предлагается программа минимизации систем полностью определенных булевых функций в классе ДНФ. Производится сравнение эффективности разработанного алгоритма, реализованного в программе Tie, и программы Espresso, которая широко используется в настоящее время [1–3]. Приводятся результаты экспериментально-статистических испытаний алгоритмов на псевдослучайных булевых функциях и стандартных примерах Benchmark.

ReferencesLogic Minimization Algorithms for VLSI synthesis / R.K. Brayton, G.D. Hatchel, C.T. McMullen et al. – Boston: Kluwer Academic Publishers, 1984.Logic Minimization Algorithms for VLSI synthesis / R.K. Brayton, G.D. Hatchel, C.T. McMullen et al. – Boston: Kluwer Academic Publishers, 1984.ESPRESSO-II: a New Logic Minimizer for PLA / R.K. Brayton, G.D. Hatchel, C.T. McMullen et al. // IEEE Pros. Custom Integrated Circuits Conf. – Rochester, 1984.ESPRESSO-II: a New Logic Minimizer for PLA / R.K. Brayton, G.D. Hatchel, C.T. McMullen et al. // IEEE Pros. Custom Integrated Circuits Conf. – Rochester, 1984.Rudel R., Sangiovanni Vincentelli A. Multiple-Valued Minimization for PLA Optimization // IEEE Trans. Computer-Aided Des. –1987. – Vol. CAD-6. – № 5. – Р. 727–751.Rudel R., Sangiovanni Vincentelli A. Multiple-Valued Minimization for PLA Optimization // IEEE Trans. Computer-Aided Des. –1987. – Vol. CAD-6. – № 5. – Р. 727–751.Закревский А.Д. Логический синтез каскадных схем. – М.: Гл. ред. физ.-мат. лит., 1981.Закревский А.Д. Логический синтез каскадных схем. – М.: Гл. ред. физ.-мат. лит., 1981.Закревский А.Д., Поттосин Ю.В., Черемисинова Л.Д. Основы логического проектирования. Оптимизация в булевом пространстве. Кн. 2. – Мн.: ОИПИ НАН Белару-си, 2004.Закревский А.Д., Поттосин Ю.В., Черемисинова Л.Д. Основы логического проектирования. Оптимизация в булевом пространстве. Кн. 2. – Мн.: ОИПИ НАН Белару-си, 2004.Сапоженко А.А., Чухров И.П. Минимизация булевых функций в классе дизъюнктивных нормальных форм // Итоги науки и техники. – М., 1987. – Т. 25. – С. 68–116.Сапоженко А.А., Чухров И.П. Минимизация булевых функций в классе дизъюнктивных нормальных форм // Итоги науки и техники. – М., 1987. – Т. 25. – С. 68–116.Бибило П.Н. Синтез логических схем с использованием языка VHDL. – М.: Солон-Р, 2002. – 384 с.Бибило П.Н. Синтез логических схем с использованием языка VHDL. – М.: Солон-Р, 2002. – 384 с.Система «Custom Logic» автоматизированного проектирования управляющей логики заказных цифровых СБИС / П.Н. Бибило, И.В. Василькова, С.Н. Кардаш и др. // Микроэлектроника. – 2003. – Т. 32. – № 5. – С. 379–398.Система «Custom Logic» автоматизированного проектирования управляющей логики заказных цифровых СБИС / П.Н. Бибило, И.В. Василькова, С.Н. Кардаш и др. // Микроэлектроника. – 2003. – Т. 32. – № 5. – С. 379–398.Yang S. Logic synthesis and optimization benchmarks user guide version 3.0. Technical Report. – Microelectronics Center of North Carolina, 1991.Yang S. Logic synthesis and optimization benchmarks user guide version 3.0. Technical Report. – Microelectronics Center of North Carolina, 1991.Закревский А.Д., Торопов Н.Р. Генераторы псевдослучайных логико-комбинаторных объектов // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1999. – С. 49–63.Закревский А.Д., Торопов Н.Р. Генераторы псевдослучайных логико-комбинаторных объектов // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1999. – С. 49–63.

The authors declare that there are no conflicts of interest present.