АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ
Аннотация
Дается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ОИПИ НАН Беларуси в области автоматизации логического проектирования дискретных устройств и сверхбольших интегральных схем. Сообщается также о разработанных в лаборатории комплексах программ и системах логического проектирования.
Об авторах
П. Н. Бибило
Объединенный институт проблем информатики НАН Беларуси
Беларусь
Беларусь
Л. Д. Черемисинова
Объединенный институт проблем информатики НАН Беларуси
Беларусь
Беларусь
Список литературы
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 с.
Рецензия
Для цитирования:
Бибило П.Н., Черемисинова Л.Д. АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ. Информатика. 2004;(4(04)):18-29.
Просмотров: 532
Послать статью по эл. почте 