informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-851Research ArticleАВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯCOMPUTER AIDED DESIGNАВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯБибилоП. Н.ЧеремисиноваЛ. Д.Объединенный институт проблем информатики НАН БеларусиBelarus20041403201904(04)1829Copyright © Бибило П.Н., Черемисинова Л.Д., 20192019Бибило П.Н., Черемисинова Л.Д.Бибило П.Н., Черемисинова Л.Д.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/851

Дается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ОИПИ НАН Беларуси в области автоматизации логического проектирования дискретных устройств и сверхбольших интегральных схем. Сообщается также о разработанных в лаборатории комплексах программ и системах логического проектирования.

ReferencesЗакревский А.Д., Торопов Н.Р. Система программирования ЛЯПАС-М. – Мн.: Наука и техника, 1978. – 238 с.Закревский А.Д., Торопов Н.Р. Система программирования ЛЯПАС-М. – Мн.: Наука и техника, 1978. – 238 с.Торопов Н.Р. Диалоговая система программирования ЛЕС. – Мн.: Наука и техника, 1982. – 264 с.Торопов Н.Р. Диалоговая система программирования ЛЕС. – Мн.: Наука и техника, 1982. – 264 с.Томашев В.Ф. Мобильный ЛЯПАС М-транслятор (вариант для БЭСМ 6). – Мн.: Ин т техн. кибернетики АН БССР, 1982. – 105 с.Томашев В.Ф. Мобильный ЛЯПАС М-транслятор (вариант для БЭСМ 6). – Мн.: Ин т техн. кибернетики АН БССР, 1982. – 105 с.Торопов Н.Р. Алгоритмический язык ЛЯПАС // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2001. – Вып. 6. – С. 6-25.Торопов Н.Р. Алгоритмический язык ЛЯПАС // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2001. – Вып. 6. – С. 6-25.Бибило П.Н. Кремниевая компиляция заказных СБИС. – Мн.: Ин-т техн. кибернетики АН Беларуси, 1996. – 268 с.Бибило П.Н. Кремниевая компиляция заказных СБИС. – Мн.: Ин-т техн. кибернетики АН Беларуси, 1996. – 268 с.Закревский А.Д., Василенок В.К. Описание алгоритмов логического управления. – Мн.: Ин-т техн. кибернетики АН БССР, 1985. – 67 с.Закревский А.Д., Василенок В.К. Описание алгоритмов логического управления. – Мн.: Ин-т техн. кибернетики АН БССР, 1985. – 67 с.Закревский А.Д. Параллельные алгоритмы логического управления. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1999. – 202 с.Закревский А.Д. Параллельные алгоритмы логического управления. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1999. – 202 с.Система ЛОГИКА-М синтеза управляющих устройств в базисе ПЛМ и микропроцессоров / А.Д. Закревский, В.К. Василенок, Л.Д. Черемисинова и др. // Управляющие системы и машины. – 1987. – № 3. – С. 31-36.Система ЛОГИКА-М синтеза управляющих устройств в базисе ПЛМ и микропроцессоров / А.Д. Закревский, В.К. Василенок, Л.Д. Черемисинова и др. // Управляющие системы и машины. – 1987. – № 3. – С. 31-36.Система логического синтеза устройств управления на базе программируемых контроллеров / Л.Д. Черемисинова, В.К. Василенок, Е.В. Желудко и др. – Мн.: Ин-т техн. кибернетики АН БССР, 1988. – 100 с.Система логического синтеза устройств управления на базе программируемых контроллеров / Л.Д. Черемисинова, В.К. Василенок, Е.В. Желудко и др. – Мн.: Ин-т техн. кибернетики АН БССР, 1988. – 100 с.Черемисинов Д.И. Система синтеза программ для микропроцессоров. – Мн.: Ин т техн. кибернетики АН БССР, 1989. – 84 с.Черемисинов Д.И. Система синтеза программ для микропроцессоров. – Мн.: Ин т техн. кибернетики АН БССР, 1989. – 84 с.Cheremisinov D.I. Schematic netlist converter // Proc. of the Fourth Int. Conf. on Computer-Aided Design of Discrete Devices (CAD DD'2001), Minsk, Belarus, November 14-16, 2001. – Minsk: Institute of Engineering Cybernetics, NAS of Belarus, 2001. – V. 1. – P. 121-125/Cheremisinov D.I. Schematic netlist converter // Proc. of the Fourth Int. Conf. on Computer-Aided Design of Discrete Devices (CAD DD'2001), Minsk, Belarus, November 14-16, 2001. – Minsk: Institute of Engineering Cybernetics, NAS of Belarus, 2001. – V. 1. – P. 121-125/Бибило П.Н. Основы языка VHDL. – М.: Солон-Р, 2000. – 200 с.Бибило П.Н. Основы языка VHDL. – М.: Солон-Р, 2000. – 200 с.Бибило П.Н. Синтез логических схем с использованием языка VHDL. – М.: Солон Р, 2002. – 384 с.Бибило П.Н. Синтез логических схем с использованием языка VHDL. – М.: Солон Р, 2002. – 384 с.Черемисинова Л.Д. Описание и верификация параллельных алгоритмов логического управления // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2001. – Вып. 6. – С. 69-87.Черемисинова Л.Д. Описание и верификация параллельных алгоритмов логического управления // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2001. – Вып. 6. – С. 69-87.Тропашко В.В. Доказательство гипотезы о полной редуцируемости  сетей // Проектирование систем логического управления: сб. науч. тр. – Мн.: Ин т техн. кибернетики АН БССР, 1986. – С. 13-21.Тропашко В.В. Доказательство гипотезы о полной редуцируемости  сетей // Проектирование систем логического управления: сб. науч. тр. – Мн.: Ин т техн. кибернетики АН БССР, 1986. – С. 13-21.Черемисинова Л.Д. Реализация параллельных алгоритмов логического управления. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2002. – 246 с.Черемисинова Л.Д. Реализация параллельных алгоритмов логического управления. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2002. – 246 с.Ковалев А.В., Поттосин Ю.В. К декомпозиции параллельных алгоритмов логического управления // Автоматика и вычислительная техника. – 1988. – № 1. – С. 8-13.Ковалев А.В., Поттосин Ю.В. К декомпозиции параллельных алгоритмов логического управления // Автоматика и вычислительная техника. – 1988. – № 1. – С. 8-13.Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981. – 416 c.Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981. – 416 c.Черемисинов Д.И. Инструментальный комплекс для разработки программного обеспечения микропроцессоров. – Мн.: Ин-т техн. кибернетики АН БССР, 1988. – 58 с.Черемисинов Д.И. Инструментальный комплекс для разработки программного обеспечения микропроцессоров. – Мн.: Ин-т техн. кибернетики АН БССР, 1988. – 58 с.Уткин А.А. Анализ логических сетей и техника булевых вычислений. – Мн.: Наука и техника, 1979. – 152 с.Уткин А.А. Анализ логических сетей и техника булевых вычислений. – Мн.: Наука и техника, 1979. – 152 с.Уткин А.А. Экспериментальное исследование алгоритмов «ВЫПОЛНИМОСТЬ» // Автоматика и вычислительная техника. – 1990. – № 6. – С. 66-74.Уткин А.А. Экспериментальное исследование алгоритмов «ВЫПОЛНИМОСТЬ» // Автоматика и вычислительная техника. – 1990. – № 6. – С. 66-74.Goldberg E., Novikov Ya. BerkMin: A fast and robust SAT-solver // Proceedings of Design, Automation and Test in Europe Conference. – 2002. – P. 142-149.Goldberg E., Novikov Ya. BerkMin: A fast and robust SAT-solver // Proceedings of Design, Automation and Test in Europe Conference. – 2002. – P. 142-149.Закревский А.Д. Комбинаторика логического проектирования // Автоматика и вычислительная техника. – 1990. – № 2. – С. 68-79.Закревский А.Д. Комбинаторика логического проектирования // Автоматика и вычислительная техника. – 1990. – № 2. – С. 68-79.Закревский А.Д. Комбинаторные задачи над логическими матрицами в логическом проектировании и искусственном интеллекте // Успехи современной радиоэлектроники. – 1998. – № 2. – С. 59-67.Закревский А.Д. Комбинаторные задачи над логическими матрицами в логическом проектировании и искусственном интеллекте // Успехи современной радиоэлектроники. – 1998. – № 2. – С. 59-67.Поттосин Ю.В. Задачи теории графов в логическом проектировании // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2001. – Вып. 6. – С. 106-130.Поттосин Ю.В. Задачи теории графов в логическом проектировании // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2001. – Вып. 6. – С. 106-130.Синтез асинхронных автоматов на ЭВМ / под ред. А.Д.Закревского. – Мн.: Наука и техника, 1975. – 184 с.Синтез асинхронных автоматов на ЭВМ / под ред. А.Д.Закревского. – Мн.: Наука и техника, 1975. – 184 с.Погарцев А.Г. Новые алгоритмы совместной минимизации булевых функций // Автоматика и вычислительная техника. – 1980. – № 1. – С. 34-41.Погарцев А.Г. Новые алгоритмы совместной минимизации булевых функций // Автоматика и вычислительная техника. – 1980. – № 1. – С. 34-41.Бибило П.Н., Енин С.В. Синтез комбинационных схем методами функциональной декомпозиции. – Мн.: Наука и техника, 1987. – 189 с.Бибило П.Н., Енин С.В. Синтез комбинационных схем методами функциональной декомпозиции. – Мн.: Наука и техника, 1987. – 189 с.Система логического проектирования дискретных устройств на программируемых матричных БИС / П.Н. Бибило, Е.И. Гольдберг, И.П. Каркоцкая и др. – Мн.: Ин-т техн. кибернетики АН БССР, 1987. – 82 с.Система логического проектирования дискретных устройств на программируемых матричных БИС / П.Н. Бибило, Е.И. Гольдберг, И.П. Каркоцкая и др. – Мн.: Ин-т техн. кибернетики АН БССР, 1987. – 82 с.Комплекс программ синтеза комбинационных схем в базисе ПЛМ и МЛВ / А.А. Дуд-кин, Ю.В. Поттосин, А.А. Синичка и др. – Мн.: Ин-т техн. кибернетики АН БССР, 1988. – 67 с.Комплекс программ синтеза комбинационных схем в базисе ПЛМ и МЛВ / А.А. Дуд-кин, Ю.В. Поттосин, А.А. Синичка и др. – Мн.: Ин-т техн. кибернетики АН БССР, 1988. – 67 с.Система логического проектирования заказных СБИС на базе регулярных матричных структур / А.Д. Закревский, П.Н. Бибило, С.Н. Кардаш и др. // Микроэлектроника. – 1995. – № 5. – C. 349-354.Система логического проектирования заказных СБИС на базе регулярных матричных структур / А.Д. Закревский, П.Н. Бибило, С.Н. Кардаш и др. // Микроэлектроника. – 1995. – № 5. – C. 349-354.Торопов Н.Р. Минимизация систем булевых функций в классе ДНФ // Логическое проектирование. – Мн.: Ин-т техн. кибернетики НАН Беларуси. – 1999. – Вып. 4. – С. 4-19.Торопов Н.Р. Минимизация систем булевых функций в классе ДНФ // Логическое проектирование. – Мн.: Ин-т техн. кибернетики НАН Беларуси. – 1999. – Вып. 4. – С. 4-19.Система «Custom Logic» автоматизированного проектирования управляющей логики заказных цифровых СБИС / П.Н. Бибило, И.В. Василькова, С.Н. Кардаш и др. // Микроэлектроника. – 2004. – Т. 32. – № 5.Система «Custom Logic» автоматизированного проектирования управляющей логики заказных цифровых СБИС / П.Н. Бибило, И.В. Василькова, С.Н. Кардаш и др. // Микроэлектроника. – 2004. – Т. 32. – № 5.Бутов А.А. Реализация систем не полностью определенных булевых функций в базисе схем малого и среднего уровней интеграции // Управляющие системы и машины. – 1979. – № 6. – С. 97-103.Бутов А.А. Реализация систем не полностью определенных булевых функций в базисе схем малого и среднего уровней интеграции // Управляющие системы и машины. – 1979. – № 6. – С. 97-103.Шнейдер А.А., Кардаш С.Н. Алгоритмы синтеза одноярусных комбинационных схем из ПЛМ // Автоматика и вычислительная техника. – 1987. – № 5. – С. 62-67.Шнейдер А.А., Кардаш С.Н. Алгоритмы синтеза одноярусных комбинационных схем из ПЛМ // Автоматика и вычислительная техника. – 1987. – № 5. – С. 62-67.Поттосин Ю.В. Декомпозиция асинхронных автоматов // Автоматика и вычислительная техника. – 1978. – № 4. – С. 1 – 7.Поттосин Ю.В. Декомпозиция асинхронных автоматов // Автоматика и вычислительная техника. – 1978. – № 4. – С. 1 – 7.Бибило П.Н. Синтез комбинационных ПЛМ-структур для СБИС. – Мн.: Наука и техника, 1992. – 232 с.Бибило П.Н. Синтез комбинационных ПЛМ-структур для СБИС. – Мн.: Наука и техника, 1992. – 232 с.Черемисинова Л.Д. Минимизация площади матрицы Вайнбергера, реализующей систему ДНФ // Управляющие системы и машины. – 1999. – № 2. – С. 39-46.Черемисинова Л.Д. Минимизация площади матрицы Вайнбергера, реализующей систему ДНФ // Управляющие системы и машины. – 1999. – № 2. – С. 39-46.Cheremisinova L.D. Simple folding of array-based VLSI structures // 6th Int. Workchop on Boolean problems, Freiberg (Sachsen), Sept. 19-20, 2004. – 2004. – P. 245-250.Cheremisinova L.D. Simple folding of array-based VLSI structures // 6th Int. Workchop on Boolean problems, Freiberg (Sachsen), Sept. 19-20, 2004. – 2004. – P. 245-250.Система логического проектирования «Синтез БМК» / П.Н. Бибило, Н.А. Кириенко, Л.В. Красильникова и др. // Управляющие системы и машины. – 2001. – № 3. – С. 28-35.Система логического проектирования «Синтез БМК» / П.Н. Бибило, Н.А. Кириенко, Л.В. Красильникова и др. // Управляющие системы и машины. – 2001. – № 3. – С. 28-35.Логинова И.П. «Моделирование отжига» и минимизация площади ПЛМ на основе многократной свертки // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1997. – Вып. 2. – С. 25-41.Логинова И.П. «Моделирование отжига» и минимизация площади ПЛМ на основе многократной свертки // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1997. – Вып. 2. – С. 25-41.Алгоритмы решения логико-комбинаторных задач: сб. науч. тр. – Мн.: Ин-т техн. кибернетики АН БССР, 1979. – Вып. 5.Алгоритмы решения логико-комбинаторных задач: сб. науч. тр. – Мн.: Ин-т техн. кибернетики АН БССР, 1979. – Вып. 5.Енин С.В., Филатченков А.И. Диалоговая система программ для анализа и моделирования дискретных устройств с неисправностями // Электронное моделирование. – 1986. – Т. 8. – № 3. – С. 25-29.Енин С.В., Филатченков А.И. Диалоговая система программ для анализа и моделирования дискретных устройств с неисправностями // Электронное моделирование. – 1986. – Т. 8. – № 3. – С. 25-29.Торопов Н.Р. Исследовательская САПР дискретных управляющих устройств. – Мн.: Ин-т техн. кибернетики АН Беларуси, 1993. – 60 с.Торопов Н.Р. Исследовательская САПР дискретных управляющих устройств. – Мн.: Ин-т техн. кибернетики АН Беларуси, 1993. – 60 с.Бибило П.Н. Логическое проектирование дискретных устройств с применением продукционно-фреймовой модели представления знаний // Известия РАН. Теория и системы управления. – 1999.– № 2. – I. – С. 130-138; 1999. – № 4. – II. – С. 124-132.Бибило П.Н. Логическое проектирование дискретных устройств с применением продукционно-фреймовой модели представления знаний // Известия РАН. Теория и системы управления. – 1999.– № 2. – I. – С. 130-138; 1999. – № 4. – II. – С. 124-132.Экспертная система логического распознавания ЭКСИЛОР / А.Д. Закревский, А.А. Уткин, В.И. Романов и др. – Мн.: Ин-т техн. кибернетики АН Беларуси, 1993. – 55 с.Экспертная система логического распознавания ЭКСИЛОР / А.Д. Закревский, А.А. Уткин, В.И. Романов и др. – Мн.: Ин-т техн. кибернетики АН Беларуси, 1993. – 55 с.

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