<?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-1331</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></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><bio xml:lang="ru"><p>Бибило Петр Николаевич - заведующий лабораторией логического проектирования,доктор технических наук</p></bio><email xlink:type="simple">bibilo@newman.bas-net.by</email></contrib></contrib-group><pub-date pub-type="collection"><year>2025</year></pub-date><pub-date pub-type="epub"><day>05</day><month>02</month><year>2025</year></pub-date><volume>0</volume><issue>0</issue><issue-title>Специальный выпуск</issue-title><fpage>42</fpage><lpage>48</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Бибило П.Н., 2025</copyright-statement><copyright-year>2025</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/1331">https://inf.grid.by/jour/article/view/1331</self-uri><abstract><p>Дискретными называются устройства, функционирующие в дискретном времени и осуществляющие преобразование дискретной информации. Дискретная информация чаще всего представляется в цифровой 0, 1 (двоичной) форме, поэтому дискретные устройства называют также цифровыми. При реализации цифровых устройств на микроэлектронной базе сверхбольших интегральных схем (СБИС) этап логического проектирования является центральным. На этом этапе осуществляется переход от алгоритмических описаний устройств к логическим схемам в заданных технологических базисах. Основными задачами логического проектирования являются моделирование и функциональная верификация исходных спецификаций на проектирование, синтез логических схем, верификация результатов синтеза. Задачи синтеза трудоемкие, так как при синтезе всегда стремятся получать не просто логические схемы, реализующие требуемое поведение устройства, а схемы с меньшей площадью, т. е. меньшим числом транзисторов, меньшей задержкой (большим быстродействием) и меньшим энергопотреблением. Именно по результатам логического проектирования определяются перечисленные технические параметры получаемых логических схем.</p></abstract></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Логическое проектирование: сб. науч. тр. – Минск: Ин-т техн. кибернетики НАН Беларуси, 2001. – Вып. 6. – 215 с.</mixed-citation><mixed-citation xml:lang="en">Логическое проектирование: сб. науч. тр. – Минск: Ин-т техн. кибернетики НАН Беларуси, 2001. – Вып. 6. – 215 с.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Бибило, П. Н. Логическое проектирование / П. Н. Бибило, Л. Д. Черемисинова // Кибернетика и информатика в Национальной академии наук Беларуси: очерки развития / Объединенный институт проблем информатики Национальной академии наук Беларуси; науч. ред.: С. В. Абламейко, А. В. Тузиков, О. И. Семенков. – Минск: Тэхналогiя, 2015. – С. 125–140.</mixed-citation><mixed-citation xml:lang="en">Бибило, П. Н. Логическое проектирование / П. Н. Бибило, Л. Д. Черемисинова // Кибернетика и информатика в Национальной академии наук Беларуси: очерки развития / Объединенный институт проблем информатики Национальной академии наук Беларуси; науч. ред.: С. В. Абламейко, А. В. Тузиков, О. И. Семенков. – Минск: Тэхналогiя, 2015. – С. 125–140.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Бибило, П. Н. Моделирование и верификация цифровых систем на языке VHDL / П. Н. Бибило, Н. А. Авдеев. – М.: Ленанд, 2017. – 344 с.</mixed-citation><mixed-citation xml:lang="en">Бибило, П. Н. Моделирование и верификация цифровых систем на языке VHDL / П. Н. Бибило, Н. А. Авдеев. – М.: Ленанд, 2017. – 344 с.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Бибило, П. Н. Функциональная верификация VHDL-описаний синхронных цифровых устройств / П. Н. Бибило, Н. А. Авдеев, В. И. Романов. – М.: Ленанд, 2020. – 328 с.</mixed-citation><mixed-citation xml:lang="en">Бибило, П. Н. Функциональная верификация VHDL-описаний синхронных цифровых устройств / П. Н. Бибило, Н. А. Авдеев, В. И. Романов. – М.: Ленанд, 2020. – 328 с.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Поттосин, Ю. В. Методы дискретной математики в логическом проектировании цифровых устройств / Ю. В. Поттосин. – Минск: Беларуская навука, 2021. – 175 с.</mixed-citation><mixed-citation xml:lang="en">Поттосин, Ю. В. Методы дискретной математики в логическом проектировании цифровых устройств / Ю. В. Поттосин. – Минск: Беларуская навука, 2021. – 175 с.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Бибило, П. Н. Бинарные диаграммы решений в логическом проектировании / П. Н. Бибило. – М.: Ленанд, 2024. – 560 с.</mixed-citation><mixed-citation xml:lang="en">Бибило, П. Н. Бинарные диаграммы решений в логическом проектировании / П. Н. Бибило. – М.: Ленанд, 2024. – 560 с.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Бибило, П. Н. Задачи по проектированию логических схем c использованием языка VHDL / П. Н. Бибило. – Изд. 3, стер. – М.: Изд-во ЛКИ, 2018. – 328 с.</mixed-citation><mixed-citation xml:lang="en">Бибило, П. Н. Задачи по проектированию логических схем c использованием языка VHDL / П. Н. Бибило. – Изд. 3, стер. – М.: Изд-во ЛКИ, 2018. – 328 с.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Черемисинова, Л. Д. Дискретная математика: учеб. пособие / Л. Д. Черемисинова. – Минск: БГУИР, 2019. – 299 с.</mixed-citation><mixed-citation xml:lang="en">Черемисинова, Л. Д. Дискретная математика: учеб. пособие / Л. Д. Черемисинова. – Минск: БГУИР, 2019. – 299 с.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Бибило, П. Н. Основы языка VHDL: учеб. пособие / П. Н. Бибило. – Изд. стер. – М.: Книжный дом «Либроком», 2024. – 328 с.</mixed-citation><mixed-citation xml:lang="en">Бибило, П. Н. Основы языка VHDL: учеб. пособие / П. Н. Бибило. – Изд. стер. – М.: Книжный дом «Либроком», 2024. – 328 с.</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>
