informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-709Research ArticleАВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯCOMPUTER AIDED DESIGNКОМПЛЕКС ПРОГРАММ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМЧеремисиноваЛ. Д.Объединенный институт проблем информатики НАН БеларусиBelarus20062012201803(11)112121Copyright © Черемисинова Л.Д., 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/709

Описывается программный комплекс решения задач декомпозиции, возникающих при синтезе логических сетей в базисе одного из наиболее популярных классов программируемых логических интегральных схем (ПЛИС) – программируемых матриц логики (ПМЛ). Комплекс включает в себя программы факторизации систем дизъюнктивных нормальных форм (ДНФ), синтеза одноуровневых и многоуровневых логических сетей в базисе ПМЛ.

ReferencesСоловьев, В.В. Проектирование цифровых систем на основе программируемых логических интегральных схем / В.В. Соловьев. – М.: Горячая линия – Телеком, 2001. – 636 с.Соловьев, В.В. Проектирование цифровых систем на основе программируемых логических интегральных схем / В.В. Соловьев. – М.: Горячая линия – Телеком, 2001. – 636 с.Survey of Programmable Logic Devices // VLSI System Design. – 1986. – № 10. – P. 55–65.Survey of Programmable Logic Devices // VLSI System Design. – 1986. – № 10. – P. 55–65.CAD System Description. Baseline 2.0 [Electronic resource]. – June, 1998. – Mode of access: http://www.eda.org/ rassp/documents/ atl/CAD.pdf.CAD System Description. Baseline 2.0 [Electronic resource]. – June, 1998. – Mode of access: http://www.eda.org/ rassp/documents/ atl/CAD.pdf.САПР PLDesigner-XL [Electronic resource]. – Mode of access: http://www.msclub.ce. cctpu.edu.ru/pld/CAD/ minc.html.САПР PLDesigner-XL [Electronic resource]. – Mode of access: http://www.msclub.ce. cctpu.edu.ru/pld/CAD/ minc.html.Шипурин, С. Настольная кремневая фабрика / С. Шипурин, А. Буров // Компьютеры. Программы. – № 2. – 1996. – С. 24–28.Шипурин, С. Настольная кремневая фабрика / С. Шипурин, А. Буров // Компьютеры. Программы. – № 2. – 1996. – С. 24–28.TOP: An Algorithm for Three-Level Optimization of PLDs / D.M. Miller [et al.] // Proc. of the Int. Workshop on Logic Synthesis. – Lake Tahoe, CA, 1999. – P. 251–254.TOP: An Algorithm for Three-Level Optimization of PLDs / D.M. Miller [et al.] // Proc. of the Int. Workshop on Logic Synthesis. – Lake Tahoe, CA, 1999. – P. 251–254.Kania, D. Two-level logic synthesis on PLA-based CPLD and FPGA using decomposition / D. Kania // Proc. of the 25th Int. EUROMICRO Conf. – Milan, Italy, 1999. – Vol. 1. – P. 278–281.Kania, D. Two-level logic synthesis on PLA-based CPLD and FPGA using decomposition / D. Kania // Proc. of the 25th Int. EUROMICRO Conf. – Milan, Italy, 1999. – Vol. 1. – P. 278–281.Черемисинова, Л.Д. Синтез одноуровневых схем в базисе программируемых матриц логики / Л.Д. Черемисинова // Известия НАН Беларуси. Cер. физ.-техн. наук. – 2004. – № 2. – С. 90–96.Черемисинова, Л.Д. Синтез одноуровневых схем в базисе программируемых матриц логики / Л.Д. Черемисинова // Известия НАН Беларуси. Cер. физ.-техн. наук. – 2004. – № 2. – С. 90–96.Гольдберг, Е.И. Метод сбрасывания решения с локального минимума при многозначной минимизации / Е.И. Гольдберг. – Минск, 1992. – 10 с. (Препринт / Академия наук Беларуси, Ин-т техн. кибернетики; № 13).Гольдберг, Е.И. Метод сбрасывания решения с локального минимума при многозначной минимизации / Е.И. Гольдберг. – Минск, 1992. – 10 с. (Препринт / Академия наук Беларуси, Ин-т техн. кибернетики; № 13).Черемисинова, Л.Д. К факторизационному методу синтеза многоуровневых схем на БИС / Л.Д. Черемисинова // Цифровая обработка информации и управление в чрезвычайных ситуациях: докл. I Междунар. конф. Минск, сентябрь 1998. – Минск: Ин-т техн. кибернетики НАН Беларуси, 1998. – Т. 1. – С. 227–232.Черемисинова, Л.Д. К факторизационному методу синтеза многоуровневых схем на БИС / Л.Д. Черемисинова // Цифровая обработка информации и управление в чрезвычайных ситуациях: докл. I Междунар. конф. Минск, сентябрь 1998. – Минск: Ин-т техн. кибернетики НАН Беларуси, 1998. – Т. 1. – С. 227–232.Синтез асинхронных автоматов на ЭВМ / А.Д. Закревский [и др.]. – Минск: Наука и техника, 1975. – 184 с.Синтез асинхронных автоматов на ЭВМ / А.Д. Закревский [и др.]. – Минск: Наука и техника, 1975. – 184 с.Бибило, П.Н. Синтез одноуровневых схем на базе программируемых матриц логики / П.Н. Бибило, Д.М. Терешко // Автоматизация проектирования дискретных систем: сб. науч. тр. – Минск: Ин-т техн. кибернетики АН Беларуси, 1995. – С. 57–66.Бибило, П.Н. Синтез одноуровневых схем на базе программируемых матриц логики / П.Н. Бибило, Д.М. Терешко // Автоматизация проектирования дискретных систем: сб. науч. тр. – Минск: Ин-т техн. кибернетики АН Беларуси, 1995. – С. 57–66.Кардаш, С.Н. Алгоритм синтеза одноярусных схем из ПМЛ / С.Н. Кардаш // Ме-тоды и алгоритмы логического проектирования: сб. науч. тр. – Минск: Ин-т техн. кибернетики АН Беларуси, 1996. – С. 85–90.Кардаш, С.Н. Алгоритм синтеза одноярусных схем из ПМЛ / С.Н. Кардаш // Ме-тоды и алгоритмы логического проектирования: сб. науч. тр. – Минск: Ин-т техн. кибернетики АН Беларуси, 1996. – С. 85–90.Оранов, А.М. К синтезу комбинационных схем в базисе ПЛИС / А.М. Оранов // Автоматика и вычислительная техника. – 1996. – № 1. – С. 43–53.Оранов, А.М. К синтезу комбинационных схем в базисе ПЛИС / А.М. Оранов // Автоматика и вычислительная техника. – 1996. – № 1. – С. 43–53.Черемисинова, Л.Д. Метод синтеза многоуровневых сетей в базисе ПМЛ / Л.Д. Черемисинова // Автоматика и вычислительная техника. – 1999. – № 3. – С. 69–76.Черемисинова, Л.Д. Метод синтеза многоуровневых сетей в базисе ПМЛ / Л.Д. Черемисинова // Автоматика и вычислительная техника. – 1999. – № 3. – С. 69–76.

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