informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-369Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNЭНЕРГОСБЕРЕГАЮЩЕЕ ПОКРЫТИЕ БИБЛИОТЕЧНЫМИ ЭЛЕМЕНТАМИ СХЕМЫ, РЕАЛИЗУЮЩЕЙ ДИАГРАММУ ДВОИЧНОГО ВЫБОРАПоттосинЮ. В.Объединенный институт проблем информатики НАН БеларусиBelarus20112004201802(30)8391Copyright © Поттосин Ю.В., 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/369

Рассматривается задача покрытия библиотечными модулями комбинационной схемы, реализующей систему булевых функций и представленной в виде диаграммы двоичного выбора. При этом для уменьшения энергопотребления узлы схемы с высокой интенсивностью переключений должны оказаться по возможности внутри библиотечных модулей. Предлагается метод, сводящий решение данной задачи к изоморфному вложению графов. Приводится пример покрытия схемы модулями серии К1574.

ReferencesМурога, С. Системное проектирование сверхбольших интегральных схем. В 2-х кн.Мурога, С. Системное проектирование сверхбольших интегральных схем. В 2-х кн.Кн. 1 / С. Мурога. – М. : Мир, 1985. – 288 с.Кн. 1 / С. Мурога. – М. : Мир, 1985. – 288 с.Bryant, R.E. Graph-based algorithms for Boolean function manipulation / R.E. Bryant //Bryant, R.E. Graph-based algorithms for Boolean function manipulation / R.E. Bryant //IEEE Trans. Comput. – 1986. – Vol. C-35, № 8. – P. 677–691.IEEE Trans. Comput. – 1986. – Vol. C-35, № 8. – P. 677–691.Pedram, M. Power Minimization in IC Design: Principles and Applications / M. Pedram //Pedram, M. Power Minimization in IC Design: Principles and Applications / M. Pedram //ACM Transactions Design Automation Electronic Systems. – 1996. – Vol. 1. – P. 3–56.ACM Transactions Design Automation Electronic Systems. – 1996. – Vol. 1. – P. 3–56.Алгоритмы и программы решения задач на графах и сетях / М.И. Нечепуренко [и др.] – Новосибирск : Наука. Сиб. отд-ние, 1990. – 515 с.Алгоритмы и программы решения задач на графах и сетях / М.И. Нечепуренко [и др.] – Новосибирск : Наука. Сиб. отд-ние, 1990. – 515 с.Krasilnikova, L.V. Partition of a transistor circuit into library modules / L.V. Krasilnikova,Krasilnikova, L.V. Partition of a transistor circuit into library modules / L.V. Krasilnikova,Yu.V. Pottosin // Proc. of the Second Intern. Conf. on Computer-Aided Design of Discrete Devices (CAD DD'97). – Minsk : UIIP NASB, 1997. – Vol. 1. – P. 94–97.Yu.V. Pottosin // Proc. of the Second Intern. Conf. on Computer-Aided Design of Discrete Devices (CAD DD'97). – Minsk : UIIP NASB, 1997. – Vol. 1. – P. 94–97.Поттосин, Ю.В. Покрытие логической схемы подсхемами из заданного библиотечного набора, направленное на уменьшение энергопотребления / Ю.В. Поттосин // Танаевские чтения. Доклады Четвертой Междунар. науч. конф., Минск, 29–30 марта 2010 г. – Минск : ОИПИ НАН Беларуси, 2010. – С. 113–117.Поттосин, Ю.В. Покрытие логической схемы подсхемами из заданного библиотечного набора, направленное на уменьшение энергопотребления / Ю.В. Поттосин // Танаевские чтения. Доклады Четвертой Междунар. науч. конф., Минск, 29–30 марта 2010 г. – Минск : ОИПИ НАН Беларуси, 2010. – С. 113–117.Черемисинов, Д.И. Поиск подграфов при проектировании СБИС / Д.И. Черемисинов // Танаевские чтения. Доклады Второй науч. конф., Минск, 28 марта 2005 г. – Минск : ОИПИЧеремисинов, Д.И. Поиск подграфов при проектировании СБИС / Д.И. Черемисинов // Танаевские чтения. Доклады Второй науч. конф., Минск, 28 марта 2005 г. – Минск : ОИПИНАН Беларуси, 2005. – С. 109–113.НАН Беларуси, 2005. – С. 109–113.Кардаш, С.Н. Проектирование в библиотечном базисе оптимизированных по числуКардаш, С.Н. Проектирование в библиотечном базисе оптимизированных по числутранзисторов логических схем / С.Н. Кардаш // Автоматизация проектирования дискретных систем: материалы Седьмой Междунар. конф., Минск, 16–17 ноября 2010 г. – Минск : ОИПИ НАН Беларуси, 2010. – С. 218–225.транзисторов логических схем / С.Н. Кардаш // Автоматизация проектирования дискретных систем: материалы Седьмой Междунар. конф., Минск, 16–17 ноября 2010 г. – Минск : ОИПИ НАН Беларуси, 2010. – С. 218–225.Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. За-Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. За-кревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М. : Физматлит, 2007. – 592 с.кревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М. : Физматлит, 2007. – 592 с.Лукошко, Г. КМОП-базовые матричные кристаллы серии К1574 / Г. Лукошко,Лукошко, Г. КМОП-базовые матричные кристаллы серии К1574 / Г. Лукошко,Е. Коннов // Радиолюбитель. – 1997. – № 9. – С. 39–40.Е. Коннов // Радиолюбитель. – 1997. – № 9. – С. 39–40.

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