<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">inform</journal-id><journal-title-group><journal-title xml:lang="ru">Информатика</journal-title><trans-title-group xml:lang="en"><trans-title>Informatics</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1816-0301</issn><issn pub-type="epub">2617-6963</issn><publisher><publisher-name>UIIP NASB</publisher-name></publisher></journal-meta><article-meta><article-id custom-type="elpub" pub-id-type="custom">inform-608</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>LOGICAL DESIGN</subject></subj-group></article-categories><title-group><article-title>ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ЛОГИЧЕСКОЙ МИНИМИЗАЦИИ В ПРОЦЕССЕ СИНТЕЗА КОМБИНАЦИОННЫХ СХЕМ</article-title><trans-title-group xml:lang="en"><trans-title></trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Бибило</surname><given-names>П. Н.</given-names></name></name-alternatives><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Леончик</surname><given-names>П. В.</given-names></name></name-alternatives><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff xml:lang="ru" id="aff-1"><institution>Объединенный институт проблем информатики НАН Беларуси</institution><country>Belarus</country></aff><pub-date pub-type="collection"><year>2007</year></pub-date><pub-date pub-type="epub"><day>13</day><month>11</month><year>2018</year></pub-date><volume>0</volume><issue>1(13)</issue><fpage>22</fpage><lpage>29</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Бибило П.Н., Леончик П.В., 2018</copyright-statement><copyright-year>2018</copyright-year><copyright-holder xml:lang="ru">Бибило П.Н., Леончик П.В.</copyright-holder><copyright-holder xml:lang="en">Бибило П.Н., Леончик П.В.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://inf.grid.by/jour/article/view/608">https://inf.grid.by/jour/article/view/608</self-uri><abstract><p>Экспериментально исследуется влияние различных процедур раздельной и совместной минимизации систем полностью определенных булевых функций на площадь регулярных схем программируемых логических матриц и на сложность нерегулярных схем, синтезированных в библиотеке проектирования отечественных  базовых матричных кристаллов.</p></abstract></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Закревский, А.Д. Логический синтез каскадных схем / A.Д. Закревский. – М.: Наука, 1981. – 416 c.</mixed-citation><mixed-citation xml:lang="en">Закревский, А.Д. Логический синтез каскадных схем / A.Д. Закревский. – М.: Наука, 1981. – 416 c.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Бибило, П.Н. Синтез логических схем с использованием языка VHDL / П.Н. Бибило. – М.: Солон-Р, 2002. – 384 с.</mixed-citation><mixed-citation xml:lang="en">Бибило, П.Н. Синтез логических схем с использованием языка VHDL / П.Н. Бибило. – М.: Солон-Р, 2002. – 384 с.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Бибило, П.Н. Символьная топология матричных макроэлементов СБИС в кремниевом компиляторе SCAS. I / П.Н. Бибило // Микроэлектроника. – 1998. – № 2. – С. 134–143.</mixed-citation><mixed-citation xml:lang="en">Бибило, П.Н. Символьная топология матричных макроэлементов СБИС в кремниевом компиляторе SCAS. I / П.Н. Бибило // Микроэлектроника. – 1998. – № 2. – С. 134–143.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Лукошко, Г.К. КМОП базовые матричные кристаллы серии К1574 / Г.К. Лукошко, Е.В. Коннов // Радиолюбитель. – 1997. – № 9. – С. 39–40.</mixed-citation><mixed-citation xml:lang="en">Лукошко, Г.К. КМОП базовые матричные кристаллы серии К1574 / Г.К. Лукошко, Е.В. Коннов // Радиолюбитель. – 1997. – № 9. – С. 39–40.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Быстродействующие матричные БИС и СБИС. Теория и проектирование / Под общ. ред. Б.Н. Файзулаева и И.И. Шагурина. – М.: Радио и связь, 1989. – 304 с.</mixed-citation><mixed-citation xml:lang="en">Быстродействующие матричные БИС и СБИС. Теория и проектирование / Под общ. ред. Б.Н. Файзулаева и И.И. Шагурина. – М.: Радио и связь, 1989. – 304 с.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Торопов, Н.Р. Минимизация систем булевых функций в классе ДНФ / Н.Р. Торопов // Логическое проектирование. – Минск: Ин-т техн. кибернетики НАН Беларуси, 1999. – Вып. 4. – С. 4–19.</mixed-citation><mixed-citation xml:lang="en">Торопов, Н.Р. Минимизация систем булевых функций в классе ДНФ / Н.Р. Торопов // Логическое проектирование. – Минск: Ин-т техн. кибернетики НАН Беларуси, 1999. – Вып. 4. – С. 4–19.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Леончик, П.В. Минимизация систем булевых функций в классе дизъюнктивных нормальных форм / П.В Леончик // Информатика. – 2006. – № 1. – C. 88–96.</mixed-citation><mixed-citation xml:lang="en">Леончик, П.В. Минимизация систем булевых функций в классе дизъюнктивных нормальных форм / П.В Леончик // Информатика. – 2006. – № 1. – C. 88–96.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Бибило, П.Н. Cистемы проектирования интегральных схем на основе языка VHDL. StateCAD, ModelSim, LeonardoSpectrum / П.Н. Бибило. – М.: СОЛОН-Пресс, 2005. – 384 с.</mixed-citation><mixed-citation xml:lang="en">Бибило, П.Н. Cистемы проектирования интегральных схем на основе языка VHDL. StateCAD, ModelSim, LeonardoSpectrum / П.Н. Бибило. – М.: СОЛОН-Пресс, 2005. – 384 с.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
