Preview

Информатика

Расширенный поиск

МИНИМИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ В КЛАССЕ ДИЗЪЮНКТИВНЫХ НОРМАЛЬНЫХ ФОРМ

Аннотация

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

Об авторе

П. В. Леончик
Объединенный институт проблем информатики НАН Беларуси
Беларусь


Список литературы

1. Logic Minimization Algorithms for VLSI synthesis / R.K. Brayton, G.D. Hatchel, C.T. McMullen et al. – Boston: Kluwer Academic Publishers, 1984.

2. 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.

3. Rudel R., Sangiovanni Vincentelli A. Multiple-Valued Minimization for PLA Optimization // IEEE Trans. Computer-Aided Des. –1987. – Vol. CAD-6. – № 5. – Р. 727–751.

4. Закревский А.Д. Логический синтез каскадных схем. – М.: Гл. ред. физ.-мат. лит., 1981.

5. Закревский А.Д., Поттосин Ю.В., Черемисинова Л.Д. Основы логического проектирования. Оптимизация в булевом пространстве. Кн. 2. – Мн.: ОИПИ НАН Белару-си, 2004.

6. Сапоженко А.А., Чухров И.П. Минимизация булевых функций в классе дизъюнктивных нормальных форм // Итоги науки и техники. – М., 1987. – Т. 25. – С. 68–116.

7. Бибило П.Н. Синтез логических схем с использованием языка VHDL. – М.: Солон-Р, 2002. – 384 с.

8. Система «Custom Logic» автоматизированного проектирования управляющей логики заказных цифровых СБИС / П.Н. Бибило, И.В. Василькова, С.Н. Кардаш и др. // Микроэлектроника. – 2003. – Т. 32. – № 5. – С. 379–398.

9. Yang S. Logic synthesis and optimization benchmarks user guide version 3.0. Technical Report. – Microelectronics Center of North Carolina, 1991.

10. Закревский А.Д., Торопов Н.Р. Генераторы псевдослучайных логико-комбинаторных объектов // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1999. – С. 49–63.


Рецензия

Для цитирования:


Леончик П.В. МИНИМИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ В КЛАССЕ ДИЗЪЮНКТИВНЫХ НОРМАЛЬНЫХ ФОРМ. Информатика. 2006;(1(9)):88-96.

Просмотров: 625


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)