informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-66Research ArticleСТАТЬИ ПО МАТЕРИАЛАМ КОНФЕРЕНЦИЙARTICLES ON THE MATERIALS CONFERENCEИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ТЕХНОЛОГИЧЕСКИ НЕЗАВИСИМОЙ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ КМОП-СХЕМANALYSIS OF EFFECTIVENESS OF TECHNOLOGY INDEPENDENT OPTIMIZATION OF CMOS CIRCUIT FUNCTIONAL DESCRIPTIONSКириенкоН. А.KirienkoN. A.kir@newman.bas-net.byЧеремисиноваЛ. Д.CheremisinovaL. D.cld@newman.bas-net.byОбъединенный институт проблем информатики НАН БеларусиBelarus201630092016035966Copyright © Кириенко Н.А., Черемисинова Л.Д., 20162016Кириенко Н.А., Черемисинова Л.Д.Kirienko N.A., Cheremisinova L.D.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/66

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

The influence of procedures of technology independent optimization of functional descriptions on complexity and delay of circuits made of CMOS VLSI library elements is investigated. The effectiveness of the optimization methods implemented in the synthesizer LeonardoSpectrum, the methods of minimization of Boolean functions systems in DNF and algebraic decomposition was compared. Experimental analysis was shown that sequential fulfilment of procedures of minimization of Boolean functions systems and algebraic decomposition during the technology independent optimization stage results in the great reduction of the circuit complexity and delay.

ReferencesЧеремисинова, Л.Д. Синтез и оптимизация комбинационных структур СБИС / Л.Д. Черемисинова. – Минск, 2007.Черемисинова, Л.Д. Синтез и оптимизация комбинационных структур СБИС / Л.Д. Черемисинова. – Минск, 2007.Автоматизация логического синтеза КМОП-схем с пониженным энергопотреблением / П.Н. Бибило [и др.] // Программная инженерия. – 2013. – № 8. – С. 35–41.Автоматизация логического синтеза КМОП-схем с пониженным энергопотреблением / П.Н. Бибило [и др.] // Программная инженерия. – 2013. – № 8. – С. 35–41.Черемисинова, Л.Д. Синтез многоуровневых логических схем с учетом энергопотребления / Л.Д. Черемисинова, Н.А. Кириенко // Информационные технологии. – 2013. – № 3. – C. 8–14.Черемисинова, Л.Д. Синтез многоуровневых логических схем с учетом энергопотребления / Л.Д. Черемисинова, Н.А. Кириенко // Информационные технологии. – 2013. – № 3. – C. 8–14.Бибило, П.Н. Системы проектирования интегральных схем на основе языка VHDL / StateCAD, ModelSim, LeonardoSpectrum / П.Н. Бибило. – М. : Солон-Пресс, 2005. – 384 с.Бибило, П.Н. Системы проектирования интегральных схем на основе языка VHDL / StateCAD, ModelSim, LeonardoSpectrum / П.Н. Бибило. – М. : Солон-Пресс, 2005. – 384 с.Berkeley PLA test set [Electronic resource]. – 2015. – Mode of access : http://www1.cs.columbia.edu/~cs6861/sis/espresso-examples. – Date of access : 25.02.2015.Berkeley PLA test set [Electronic resource]. – 2015. – Mode of access : http://www1.cs.columbia.edu/~cs6861/sis/espresso-examples. – Date of access : 25.02.2015.Черемисинов, Д.И. Минимизация двухуровневых КМОП-схем с учетом энергопотребления / Д.И. Черемисинов, Л.Д. Черемисинова // Информационные технологии. – 2011. – № 5. – С. 17–23.Черемисинов, Д.И. Минимизация двухуровневых КМОП-схем с учетом энергопотребления / Д.И. Черемисинов, Л.Д. Черемисинова // Информационные технологии. – 2011. – № 5. – С. 17–23.

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