АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ
Дается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ОИПИ НАН Беларуси в области автоматизации логического проектирования дискретных устройств и сверхбольших интегральных схем. Сообщается также о разработанных в лаборатории комплексах программ и системах логического проектирования.
1. Закревский А.Д., Торопов Н.Р. Система программирования ЛЯПАС-М. – Мн.: Наука и техника, 1978. – 238 с.
2. Торопов Н.Р. Диалоговая система программирования ЛЕС. – Мн.: Наука и техника, 1982. – 264 с.
3. Томашев В.Ф. Мобильный ЛЯПАС М-транслятор (вариант для БЭСМ 6). – Мн.: Ин т техн. кибернетики АН БССР, 1982. – 105 с.
4. Торопов Н.Р. Алгоритмический язык ЛЯПАС // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2001. – Вып. 6. – С. 6-25.
5. Бибило П.Н. Кремниевая компиляция заказных СБИС. – Мн.: Ин-т техн. кибернетики АН Беларуси, 1996. – 268 с.
6. Закревский А.Д., Василенок В.К. Описание алгоритмов логического управления. – Мн.: Ин-т техн. кибернетики АН БССР, 1985. – 67 с.
7. Закревский А.Д. Параллельные алгоритмы логического управления. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1999. – 202 с.
8. Система ЛОГИКА-М синтеза управляющих устройств в базисе ПЛМ и микропроцессоров / А.Д. Закревский, В.К. Василенок, Л.Д. Черемисинова и др. // Управляющие системы и машины. – 1987. – № 3. – С. 31-36.
9. Система логического синтеза устройств управления на базе программируемых контроллеров / Л.Д. Черемисинова, В.К. Василенок, Е.В. Желудко и др. – Мн.: Ин-т техн. кибернетики АН БССР, 1988. – 100 с.
10. Черемисинов Д.И. Система синтеза программ для микропроцессоров. – Мн.: Ин т техн. кибернетики АН БССР, 1989. – 84 с.
11. 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/
12. Бибило П.Н. Основы языка VHDL. – М.: Солон-Р, 2000. – 200 с.
13. Бибило П.Н. Синтез логических схем с использованием языка VHDL. – М.: Солон Р, 2002. – 384 с.
14. Черемисинова Л.Д. Описание и верификация параллельных алгоритмов логического управления // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2001. – Вып. 6. – С. 69-87.
15. Тропашко В.В. Доказательство гипотезы о полной редуцируемости сетей // Проектирование систем логического управления: сб. науч. тр. – Мн.: Ин т техн. кибернетики АН БССР, 1986. – С. 13-21.
16. Черемисинова Л.Д. Реализация параллельных алгоритмов логического управления. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2002. – 246 с.
17. Ковалев А.В., Поттосин Ю.В. К декомпозиции параллельных алгоритмов логического управления // Автоматика и вычислительная техника. – 1988. – № 1. – С. 8-13.
18. Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981. – 416 c.
19. Черемисинов Д.И. Инструментальный комплекс для разработки программного обеспечения микропроцессоров. – Мн.: Ин-т техн. кибернетики АН БССР, 1988. – 58 с.
20. Уткин А.А. Анализ логических сетей и техника булевых вычислений. – Мн.: Наука и техника, 1979. – 152 с.
21. Уткин А.А. Экспериментальное исследование алгоритмов «ВЫПОЛНИМОСТЬ» // Автоматика и вычислительная техника. – 1990. – № 6. – С. 66-74.
22. Goldberg E., Novikov Ya. BerkMin: A fast and robust SAT-solver // Proceedings of Design, Automation and Test in Europe Conference. – 2002. – P. 142-149.
23. Закревский А.Д. Комбинаторика логического проектирования // Автоматика и вычислительная техника. – 1990. – № 2. – С. 68-79.
24. Закревский А.Д. Комбинаторные задачи над логическими матрицами в логическом проектировании и искусственном интеллекте // Успехи современной радиоэлектроники. – 1998. – № 2. – С. 59-67.
25. Поттосин Ю.В. Задачи теории графов в логическом проектировании // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2001. – Вып. 6. – С. 106-130.
26. Синтез асинхронных автоматов на ЭВМ / под ред. А.Д.Закревского. – Мн.: Наука и техника, 1975. – 184 с.
27. Погарцев А.Г. Новые алгоритмы совместной минимизации булевых функций // Автоматика и вычислительная техника. – 1980. – № 1. – С. 34-41.
28. Бибило П.Н., Енин С.В. Синтез комбинационных схем методами функциональной декомпозиции. – Мн.: Наука и техника, 1987. – 189 с.
29. Система логического проектирования дискретных устройств на программируемых матричных БИС / П.Н. Бибило, Е.И. Гольдберг, И.П. Каркоцкая и др. – Мн.: Ин-т техн. кибернетики АН БССР, 1987. – 82 с.
30. Комплекс программ синтеза комбинационных схем в базисе ПЛМ и МЛВ / А.А. Дуд-кин, Ю.В. Поттосин, А.А. Синичка и др. – Мн.: Ин-т техн. кибернетики АН БССР, 1988. – 67 с.
31. Система логического проектирования заказных СБИС на базе регулярных матричных структур / А.Д. Закревский, П.Н. Бибило, С.Н. Кардаш и др. // Микроэлектроника. – 1995. – № 5. – C. 349-354.
32. Торопов Н.Р. Минимизация систем булевых функций в классе ДНФ // Логическое проектирование. – Мн.: Ин-т техн. кибернетики НАН Беларуси. – 1999. – Вып. 4. – С. 4-19.
33. Система «Custom Logic» автоматизированного проектирования управляющей логики заказных цифровых СБИС / П.Н. Бибило, И.В. Василькова, С.Н. Кардаш и др. // Микроэлектроника. – 2004. – Т. 32. – № 5.
34. Бутов А.А. Реализация систем не полностью определенных булевых функций в базисе схем малого и среднего уровней интеграции // Управляющие системы и машины. – 1979. – № 6. – С. 97-103.
35. Шнейдер А.А., Кардаш С.Н. Алгоритмы синтеза одноярусных комбинационных схем из ПЛМ // Автоматика и вычислительная техника. – 1987. – № 5. – С. 62-67.
36. Поттосин Ю.В. Декомпозиция асинхронных автоматов // Автоматика и вычислительная техника. – 1978. – № 4. – С. 1 – 7.
37. Бибило П.Н. Синтез комбинационных ПЛМ-структур для СБИС. – Мн.: Наука и техника, 1992. – 232 с.
38. Черемисинова Л.Д. Минимизация площади матрицы Вайнбергера, реализующей систему ДНФ // Управляющие системы и машины. – 1999. – № 2. – С. 39-46.
39. 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.
40. Система логического проектирования «Синтез БМК» / П.Н. Бибило, Н.А. Кириенко, Л.В. Красильникова и др. // Управляющие системы и машины. – 2001. – № 3. – С. 28-35.
41. Логинова И.П. «Моделирование отжига» и минимизация площади ПЛМ на основе многократной свертки // Логическое проектирование: сб. науч. тр. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1997. – Вып. 2. – С. 25-41.
42. Алгоритмы решения логико-комбинаторных задач: сб. науч. тр. – Мн.: Ин-т техн. кибернетики АН БССР, 1979. – Вып. 5.
43. Енин С.В., Филатченков А.И. Диалоговая система программ для анализа и моделирования дискретных устройств с неисправностями // Электронное моделирование. – 1986. – Т. 8. – № 3. – С. 25-29.
44. Торопов Н.Р. Исследовательская САПР дискретных управляющих устройств. – Мн.: Ин-т техн. кибернетики АН Беларуси, 1993. – 60 с.
45. Бибило П.Н. Логическое проектирование дискретных устройств с применением продукционно-фреймовой модели представления знаний // Известия РАН. Теория и системы управления. – 1999.– № 2. – I. – С. 130-138; 1999. – № 4. – II. – С. 124-132.
46. Экспертная система логического распознавания ЭКСИЛОР / А.Д. Закревский, А.А. Уткин, В.И. Романов и др. – Мн.: Ин-т техн. кибернетики АН Беларуси, 1993. – 55 с.