Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления

Описан комплекс программных средств, позволяющий вести высокоуровневое и логическое проектирование устройств управления, поведение которых задано на языках описания аппаратуры VHDL и PRALU....

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2009
Автори:	Бибило, П.Н., Кардаш, С.Н., Кириенко, Н.А., Кочанов, Д.А., Леончик, П.В., Новиков, Д.Я., Романов, В.И., Черемисинов, Д.И.
Формат:	Стаття
Мова:	Russian
Опубліковано:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2009
Назва видання:	Управляющие системы и машины
Теми:	Программная инженерия и программные средства
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/82763
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления / П.Н. Бибило, С.Н. Кардаш, Н.А. Кириенко, Д.А. Кочанов, П.В. Леончик, Д.Я. Новиков, В.И. Романов, Д.И. Черемисинов // Управляющие системы и машины. — 2009. — № 5. — С. 81–88. — Бібліогр.: 10 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	nasplib_isofts_kiev_ua-123456789-82763
record_format	dspace
spelling	nasplib_isofts_kiev_ua-123456789-827632025-02-09T13:06:49Z Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления Бибило, П.Н. Кардаш, С.Н. Кириенко, Н.А. Кочанов, Д.А. Леончик, П.В. Новиков, Д.Я. Романов, В.И. Черемисинов, Д.И. Программная инженерия и программные средства Описан комплекс программных средств, позволяющий вести высокоуровневое и логическое проектирование устройств управления, поведение которых задано на языках описания аппаратуры VHDL и PRALU. The MICEL advanced programming tools are described. These tools can perform a high-level and logical design of control devices, behavior of which is specified in VHDL and PRALU languages of the hardware description. Описано комплекс програмних засобів, який дозволяє здійснювати високорівневе та логічне проектування пристроїв керування, поведінку яких задано на мовах описання апаратури VHDL та PRALU. 2009 Article Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления / П.Н. Бибило, С.Н. Кардаш, Н.А. Кириенко, Д.А. Кочанов, П.В. Леончик, Д.Я. Новиков, В.И. Романов, Д.И. Черемисинов // Управляющие системы и машины. — 2009. — № 5. — С. 81–88. — Бібліогр.: 10 назв. — рос. 0130-5395 https://nasplib.isofts.kiev.ua/handle/123456789/82763 519.713:681.3 ru Управляющие системы и машины application/pdf Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Программная инженерия и программные средства Программная инженерия и программные средства
spellingShingle	Программная инженерия и программные средства Программная инженерия и программные средства Бибило, П.Н. Кардаш, С.Н. Кириенко, Н.А. Кочанов, Д.А. Леончик, П.В. Новиков, Д.Я. Романов, В.И. Черемисинов, Д.И. Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления Управляющие системы и машины
description	Описан комплекс программных средств, позволяющий вести высокоуровневое и логическое проектирование устройств управления, поведение которых задано на языках описания аппаратуры VHDL и PRALU.
format	Article
author	Бибило, П.Н. Кардаш, С.Н. Кириенко, Н.А. Кочанов, Д.А. Леончик, П.В. Новиков, Д.Я. Романов, В.И. Черемисинов, Д.И.
author_facet	Бибило, П.Н. Кардаш, С.Н. Кириенко, Н.А. Кочанов, Д.А. Леончик, П.В. Новиков, Д.Я. Романов, В.И. Черемисинов, Д.И.
author_sort	Бибило, П.Н.
title	Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления
title_short	Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления
title_full	Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления
title_fullStr	Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления
title_full_unstemmed	Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления
title_sort	программный комплекс micel высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления
publisher	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
publishDate	2009
topic_facet	Программная инженерия и программные средства
url	https://nasplib.isofts.kiev.ua/handle/123456789/82763
citation_txt	Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления / П.Н. Бибило, С.Н. Кардаш, Н.А. Кириенко, Д.А. Кочанов, П.В. Леончик, Д.Я. Новиков, В.И. Романов, Д.И. Черемисинов // Управляющие системы и машины. — 2009. — № 5. — С. 81–88. — Бібліогр.: 10 назв. — рос.
series	Управляющие системы и машины
work_keys_str_mv	AT bibilopn programmnyjkompleksmicelvysokourovnevogoilogičeskogosintezaparallelʹnyhalgoritmovlogičekogoupravleniâ AT kardašsn programmnyjkompleksmicelvysokourovnevogoilogičeskogosintezaparallelʹnyhalgoritmovlogičekogoupravleniâ AT kirienkona programmnyjkompleksmicelvysokourovnevogoilogičeskogosintezaparallelʹnyhalgoritmovlogičekogoupravleniâ AT kočanovda programmnyjkompleksmicelvysokourovnevogoilogičeskogosintezaparallelʹnyhalgoritmovlogičekogoupravleniâ AT leončikpv programmnyjkompleksmicelvysokourovnevogoilogičeskogosintezaparallelʹnyhalgoritmovlogičekogoupravleniâ AT novikovdâ programmnyjkompleksmicelvysokourovnevogoilogičeskogosintezaparallelʹnyhalgoritmovlogičekogoupravleniâ AT romanovvi programmnyjkompleksmicelvysokourovnevogoilogičeskogosintezaparallelʹnyhalgoritmovlogičekogoupravleniâ AT čeremisinovdi programmnyjkompleksmicelvysokourovnevogoilogičeskogosintezaparallelʹnyhalgoritmovlogičekogoupravleniâ
first_indexed	2025-11-26T02:02:23Z
last_indexed	2025-11-26T02:02:23Z
_version_	1849816578343829504
fulltext	УСиМ, 2009, № 5 81 УДК 519.713:681.3 П.Н. Бибило, С.Н. Кардаш, Н.А. Кириенко, Д.А. Кочанов, П.В. Леончик, Д.Я. Новиков, В.И. Романов, Д.И. Черемисинов Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логического управления Описан комплекс программных средств, позволяющий вести высокоуровневое и логическое проектирование устройств управления, поведение которых задано на языках описания аппаратуры VHDL и PRALU. The MICEL advanced programming tools are described. These tools can perform a high-level and logical design of control devices, behavior of which is specified in VHDL and PRALU languages of the hardware description. Описано комплекс програмних засобів, який дозволяє здійснювати високорівневе та логічне проектування пристроїв керуван- ня, поведінку яких задано на мовах описання апаратури VHDL та PRALU. Введение. Широкое внедрение систем автома- тизации проектирования (САПР) цифровых уп- равляющих и вычислительных систем позво- ляет выбрать наиболее эффективные маршру- ты проектирования с использованием как за- рубежных, так и отечественных САПР. Схем- ная реализация параллельных алгоритмов ло- гического управления – это одна из трудных задач проектирования. Для этого класса алго- ритмов могут быть использованы современные языки VHDL, Verilog описания цифровой аппа- ратуры, так как эти языки дают возможность описания параллельных процессов. Схемная ре- ализация алгоритмов, представленных на этих языках, в современных синтезаторах Leonardo- Spectrum (далее – Leonardo), XST, Synplify осу- ществляется по компилятивному (локальному) способу – каждый оператор (конструкция) языка заменяется соответствующей логической под- схемой либо логическим элементом. Это не всегда эффективно, так как для некоторых классов описаний алгоритмов управления име- ются более совершенные методы схемной реа- лизации, дающие схемы меньшей сложности. Например, в работе [1] развита методология схемной реализации параллельных алгоритмов, ориентированная на выделенный класс алго- ритмов управления и позволяющая эффективно «кодировать» параллелизм при синтезе логиче- ских схем, т.е. данная методология позволяет осуществить глобальный подход к синтезу. Ме- тодология опирается на язык ПРАЛУ, предна- значенный для описания алгоритмов, в кото- рых используются только двоичные (булевы) переменные, а также операции действия (при- своения значений переменным) и ожидания событий, выраженных также в терминах буле- вых переменных. В статье описывается программный комп- лекс Micel, позволяющий проводить схемную реализацию параллельных алгоритмов логиче- ского управления, представленных на языке ПРАЛУ. Комплекс Micel интегрирован по вход- ным данным с синтезатором логических схем Leonardo [2] и имеет в своем составе оптими- зационные блоки, отсутствующие в Leonardo – это прежде всего минимизация и декомпозиция систем частичных булевых функций. Показыва- ется, что совместное использование Micel и Leonardo позволяет проводить повторный ло- гический синтез и получать логические схемы с лучшими показателями (быстродействие, сложность), чем использование только одного синтезатора Leonardo. Так как все используе- мые в системе Micel промежуточные данные конвертируются в синтезируемый VHDL, то Leonardo может быть заменен другим синтеза- тором (XST, Synplify), который по VHDL-опи- саниям алгоритмов строит логические схемы, например схемы FPGA. Входные и выходные данные программно- го комплекса Micel ПРАЛУ-описания Описания параллельных алгоритмов логиче- ского управления на языке ПРАЛУ состоят из множества предложений. Каждое предложение 82 УСиМ, 2009, № 5 может состоять из нескольких цепочек. В лис- тинге 1 приведен пример ПРАЛУ-описания, в котором каждое предложение, кроме четверто- го, состоит из одной цепочки. Четвертое пред- ложение состоит из двух цепочек. Согласно [1] элементарной называется це- почка вида μi : –ki′ →ki" →νi , (1) где операция –ki′ или →ki" в ней может отсут- ствовать. В общем случае элементарная це- почка состоит из четырех частей: μi – множе- ство начальных меток цепочки; –ki′ – операция ожидания события ki′; →ki" – операция дей- ствия; νi – множество заключительных меток цепочки. Символы ki′, ki" представляют собой эле- ментарные конъюнкции булевых переменных. Конъюнкции ki′ образуются из литералов бу- левых переменных множества X входных пе- ременных, конъюнкции ki" – из литералов пе- ременных множества Y выходных переменных. Если конъюнкция ki′ ( ki" ) отсутствует, то предполагается, что она тождественно равна единице. Операция –ki′ представляет собой операцию ожидания события ki′. Выполнение этой операции сводится к ожиданию события, когда переменные, входящие в конъюнкцию ki′, примут значения, обращающие ki′ в едини- цу. Операция действия →ki" означает присвое- ние таких значений переменным конъюнкции ki" , при которых ki" обращается в единицу. Двоеточие служит разделителем, а стрелка пе- ред νi играет роль операции внесения элемен- тов в текущее множество запуска цепочек. Мно- жество M, называемое множеством запуска цепочек, получается в результате объединения множеств начальных и заключительных меток всех цепочек. В первом предложении предполагаем, что когда переменные x1, t1, t2 примут значение ноль, а переменная x2 – значение единица, вы- полнится операция действия, состоящая в том, что переменные y1, t1 принимают значение единица, а переменная y2 – значение ноль. По- сле этого ожидается событие, заключающееся в том, что переменная x2 принимает значение ноль. В случае, когда такое событие произой- дет, активными одновременно (параллельно) становятся предложения с номерами 2, 3, 4. Листинг 1. TITLE example3 FORMAT PRL AUTHOR Bibilo DATE 12/09/08 PROJECT USIM DCL_PIN EXT INP x1 x2 OUT y1 y2 INTER t1 t2 END_PIN BLOCK example3main 1: –^x1x2^t1^t2 > y1^y2t1 –^x2 > 2.3.4; 2: –t1 > ^y1 > 5; 3.5: -x2t1 > ^t1 > 8; 4: -^x1^t2 > ^y1^t1 > 6; -x1^t2 > y2t2 > 9; 6: -^x2^t1^t2 > t2 > 9; 8.9: -^t1t2 > ^y2 > 7; 7: -x1t2 > ^t1^t2 > 1; END_BLOCK example3main END_example3 VHDL-описания систем частичных буле- вых функций Системы частичных булевых функций за- даются на булевых наборах значений аргумен- тов, значениями частичных булевых функций могут быть 0,1, неопределенное значение «–». В табл. 1 задан пример выделенного класса систем частичных функций. Для этого класса характерно то, что на каждом из наборов зна- чений входных переменных все функции сис- темы либо определены (0,1), либо не опреде- лены (–). Такие системы функций легко опи- сываются на VHDL. В листинге 2 представлено функциональное VHDL-описание системы час- тичных функций, заданных в табл. 1. Заметим, что для используемого типа std_logic_ vector «–» и есть неопределенное значение (don't care). УСиМ, 2009, № 5 83 Т а б л и ц а 1. Система частичных булевых функций a(3) a(2) a(1) a(0) s(2) s(1) s(0) 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0 0 0 – – - - - - - - - - - - 0 0 1 0 1 0 - - - 0 0 0 0 1 0 1 0 0 - - - - - - - - - - - - - - - Т а б л и ц а 2. Система ДНФ полностью определенных буле- вых функций a(3) a(2) a(1) a(0) s(2) s(1) s(0) 1 0 1 0 – 0 – 1 – 1 – 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 Листинг 2. VHDL-описание системы частич- ных функций library ieee; use ieee.std_logic_1164.all; entity umn is port (a : in std_logic_vector (3 downto 0); s : out std_logic_vector (2 downto 0)); end umn; architecture BEHAVIOR of umn is begin s <= "000" when a = "0000" else "001" when a = "0101" else "010" when a = "0110" else "000" when a = "1000" else "010" when a = "1001" else "100" when a = "1010" else "–––"; end BEHAVIOR; VHDL-описания уровня RTL В листинге 3 приводится RTL-описание мно- гоуровневого представления системы полно- стью определенных функций, реализующих сис- тему частичных функций, представленную в листинге 2. В RTL-описании схем комбинаци- онной логики используются только четыре ло- гических оператора VHDL and (И), or (ИЛИ), not (НЕ), xor (исключающее ИЛИ). Листинг 3. RTL-описание системы полно- стью определенных функций library IEEE; use IEEE.STD_LOGIC_1164.all; entity umn is port ( a : IN std_logic_vector (3 DOWNTO 0) ; s : OUT std_logic_vector (2 DOWNTO 0)) ; end umn ; architecture BEHAVIOR of umn is signal nx75, nx78, nx80, nx3, nx4_1, nx4, nx5, nx2, nx92, nx4_2, nx96, nx97, nx6, nx8, nx7: std_logic ; begin nx3 <= NOT a(2) ; nx4_dup_0 <= NOT a(0) ; nx4 <= nx3 AND nx4_1 ; nx5 <= NOT nx75 ; s(2) <= nx4 AND nx5 ; nx2 <= NOT a(1) ; nx92 <= NOT a(3) ; nx75 <= nx2 OR nx92 ; nx4_2 <= NOT nx78 ; nx96 <= NOT nx80 ; nx97 <= nx4_2 AND nx96 ; nx6 <= NOT a(3) ; nx8 <= nx97 AND nx6 ; nx7 <= NOT a(1) ; s(0) <= nx8 AND nx7 ; nx78 <= NOT a(2) ; nx80 <= NOT a(0) ; s(1) <= a(0) XOR a(2) ; end BEHAVIOR ; Чтобы получить систему ДНФ по RTL-опи- санию, надо провести элиминацию внутренних переменных. Внутренние данные Внутренними моделями при схемной реали- зации ПРАЛУ-описаний являются модели па- раллельного, секвенциального и последователь- ностного автоматов. Данные модели подробно представлены в работе [1] и в статье не описы- ваются. Заметим лишь, что последовательно- стный автомат представляется в виде комби- национной схемы, функции которой задаются 84 УСиМ, 2009, № 5 в виде ДНФ, и элементов памяти – регистра RS-триггеров. Последовательностный автомат описывается на языке SF [3] – внутренним языком Micel. Архитектура Micel Программный комплекс состоит из трех под- систем, ориентированных на различные виды входных данных и на решение разных задач проектирования. Подсистема 1 преобразования и оптимиза- ции параллельных алгоритмов логического управления. Взаимодействие подсистемы 1 с синтезатором Leonardo показано на рис. 1. Подсистема 2 оптимизации представлений систем полностью определенных булевых функций позволяет реализовать маршрут про- ектирования 2 (рис. 2). Подсистема 3 оптимизации систем частич- ных функций реализует маршрут проектиро- вания 3 (рис. 2). Исходя из общей концепции создания про- граммного комплекса с дружественным интер- фейсом, управление проектированием в систе- ме Micel осуществляется с использованием не- скольких мастеров (Wizard в терминологии пользовательских интерфейсов, применяемой в современных условиях, в частности компа- нией Microsoft). Мастер – это специальная про- грамма, обеспечивающая интерактивное реше- ние требуемой задачи, например, проектирова- ния, на основе определенного, заранее сформу- лированного и последовательно реализуемого сценария. Применение техники мастеров су- щественным образом ограничивает возможно- сти выбора исполнения тех или иных преду- смотренных в системе функций, но вместе с тем, дисциплинирует пользователя и облегчает процесс овладения системой. Применение мас- теров особенно полезно в условиях, когда по- следовательность шагов сценария диалога не сильно разветвлена. В соответствии с выделен- ными подсистемами в системе Micel использу- ются разные мастера, каждый из которых от- ветственен за свой маршрут проектирования. Маршрут проектирования 1. Требуемый алгоритм управления формулируется в виде описания на языке ПРАЛУ, затем осуществля- ется проверка синтаксической корректности и проводится моделирование. Построенный та- ким образом алгоритм конвертируется в язык VHDL [4]. Далее полученный алгоритм управ- ления представляется в виде параллельного автомата. Le on ar do Sp ec tru m Логическая схема 1 RTL 1 Библиотек синтеза a Многоуровневое представление системы полностью определенных функций Оптимизация 1 ПРАЛУ Оптимизация 2 Секвенциальный автомат Оптимизация 3 Параллельный автомат Последовательностный автомат Оптимизация 4 VHDL VHDL VHDL VHDL VHDL Логическая схема 2 RTL 2 Логическая схема 3 RTL 3 Логическая схема 4 RTL 4 Логическая схема 5 RTL 5 Micel Рис. 1. Маршрут 1 проектирования Параллельный автомат – модель, которая, в отличие от традиционной модели конечного ав- томата, может одновременно находиться в не- скольких состояниях. Переходы происходят не между отдельными состояниями, а между под- множествами. В рамках модели параллельного автомата осуществляется проверка различных свойств алгоритма, связанных с его «параллель- ностью». В ходе этой проверки с целью дости- жения требуемых свойств пользователь может УСиМ, 2009, № 5 85 осуществить коррекцию исходного описания в терминах языка параллельных автоматов либо вернуться к предыдущему шагу и преобразо- вать исходное ПРАЛУ-описание. После того, как удовлетворяющая необходимым свойствам модель окажется определенной, осуществляет- ся построение соответствующего ей представ- ления в языке VHDL. Переход от параллельного к секвенциаль- ному автомату связан с выполнением кодиро- вания состояний параллельного автомата (оп- тимизация 2). Секвенциальный автомат – ди- намическая логическая модель дискретной сис- темы со многими переменными, определяемая формально [5] как множество S секвенций si. Каждая секвенция si имеет форму fi \| – ki, опре- деляет причинно-следственное отношение ме- жду некоторым сложным событием, представ- ленным булевой функцией fi (заданной в ДНФ), и простым событием, представленным конъюнк- тивным термом ki; \| – является символом рас- сматриваемого отношения. Выражение fi \| – ki интерпретируется следующим образом: если в некоторый момент времени fi принимает зна- чение единица, то непосредственно вслед за этим ki также принимает значение единица. При этом значения всех переменных в ki опре- деляются однозначно. Секвенциальный автомат также мо- жет быть конверти- рован в VHDL-опи- сание. По получен- ному секвенциально- му автомату осуще- ствляется построе- ние модели в виде SF-описания клас- сического последо- вательностного ав- томата, представля- емого в виде ком- бинационной схе- мы, функции кото- рой задаются в виде системы ДНФ пол- ностью определенных булевых функций, и элементов памяти – в виде регистра RS-триг- геров. Как и ранее, такой объект может быть транслирован в VHDL-описание. Четыре вида VHDL-моделей являются син- тезируемыми, по ним могут быть получены логические схемы 1–4 в синтезаторе Leonardo. Пользователь может выбрать лучший для него вариант по критериям сложности и/или быст- родействия. Попытка получения лучшего ре- шения связана с повторным синтезом: для ка- ждой из четырех логических схем может быть получено соответствующее RTL-описание (Re- gister Transfer Level – уровень регистровых пе- редач). Используя блок «оптимизация 4» мож- но получить многоуровневое представление комбинационной части логической схемы 1–4, подать его на вход Leonardo и получить логи- ческую схему 5 – результат повторного синте- за. Как показали экспериментальные исследо- вания [6], повторный синтез часто бывает эф- фективным именно для комбинационных схем. Маршрут проектирования 2. Исходное ал- горитмическое VHDL-описание, составленное из операторов назначения сигнала и логиче- ских операций, преобразуется в SF-описание, задающее систему полностью определенных бу- левых функций. Система преобразуется в сис- Многоуровневое представление системы полностью определенных функций Алгоритмическое описание комбинационной схемы VHDL- Двухуровневое представление системы полностью определенных функций VHDL-описание системы частичных функций Оптимизация 5 минимизация : BDD, Оптимизация 4 Оптимизация 6 декомпозиция, минимизация : VHDL Библиотека синтеза Le on ar do Sp ec tru m Логическая схема 1 RTL 1 RTL 2 RTL 3 VHDL VHDL Логическая схема 2 Логическая схема 3 Маршрут 2 Маршрут 3 Micel Рис. 2. Маршруты 2 и 3 проектирования 86 УСиМ, 2009, № 5 тему ДНФ, которая в блоке «оптимизация 5» минимизируется в классе ДНФ либо оптими- зируется BDD-представление этой системы функций. Для минимизации в классе ДНФ ис- пользуются программы [7] раздельной либо совместной минимизации системы функций. Критерии оптимизации – число литералов в за- писи системы функций либо общее число эле- ментарных конъюнкций, на которых заданы функции системы. BDD-представление (binary decision diagrams – диаграммы двоичного вы- бора) [8] является одним из видов RTL-пред- ставлений и строится на основе разложения Шеннона системы функций по всем перемен- ным. В отечественной литературе для таких раз- ложений употребляется термин «бинарная про- грамма» [9]. Оптимизация BDD заключается в нахождении одинаковых коэффициентов Шен- нона при разложении всех функций системы по тем же самым переменным. Полученные пос- ле оптимизации минимизированные ДНФ либо оптимизированные по числу вершин BDD-пред- ставления конвертируются в VHDL-описания. Маршрут проектирования 3. Исходным объектом проектирования в маршруте 3 явля- ется система частичных булевых функций (см. рис. 2). Блок «оптимизация 6» имеет две воз- можности: провести совместную минимиза- цию исходной системы в классе ДНФ и полу- чить минимизированную систему ДНФ полно- стью определенных функций и провести де- композицию системы функций по двухблоч- ному разбиению множества переменных. Ал- горитм декомпозиции реализует известный метод [10] декомпозиции системы частичных функций, основанный на построении графа отношения несовместимости и раскраске гра- фа в минимальное число цветов. Выделяемый блок при декомпозиции может быть реализован на ПЗУ(n, m) , где n – чис- ло входных полюсов ПЗУ (размерность адреса), m – число выходных полюсов (размерность сло- ва хранимых данных) емкости 4096 бит. В кон- кретной реализации допускаются следующие значения: n = 12, m = 1; n = 11, m = 2; n = 10, m = 4; n = 9, m = 8; n = 8, m = 16. Тем не менее, декомпозиция может быть проведена и по боль- шему, чем 12, числу входов в отделяемом от схемы блоке. Пользователь может выбрать указанное им число ПЗУ с требуемыми параметрами, после чего оставшаяся часть схемы представляется одним функциональным блоком и может быть реализована впоследствии схемой в заданном библиотечном базисе. Полученная после оп- тимизации 6 система булевых функций явля- ется полностью определенной, поэтому в мар- шруте 3 имеется программа верификации, цель которой – проверка отношения реализуемости, т.е. реализует ли оптимизированная система полностью определенных функций исходную систему частичных функций. После выделения ПЗУ и оптимизации логи- ческая схема конвертируется в VHDL-описание, которое может быть подано на вход синтезато- ра Leonardo. Функциональные блоки, реали- зуемые на ПЗУ, представляются в виде таблиц истинности – по сути, представляют собой «прошивки» ПЗУ. Эксперименты Для каждого из маршрутов 1 – 3 проведен вычислительный эксперимент. Маршрут 1. Результаты эксперимента для маршрута 1 представлены в табл. 3. В строках «Конвертация» представлены результаты пря- мого синтеза схем по различным VHDL-моде- лям, представленным в столбцах, а в строках «Оптимизация RTL» представлены результаты повторного синтеза по многоуровневым пред- ставлениям функций, оптимизированным в блоке «Оптимизация 4» по соответствующим RTL1 – RTL4. Использовалась библиотека ло- гических элементов, описанная в [6]. В табл. 3: T – число триггеров; S – площадь комбинаци- онной части логической схемы; L – число биб- лиотечных логических элементов (исключая триггеры); τ – задержка схемы (нс). Жирным шрифтом выделены лучшие решения. Рассмот- рим пример ПРАЛУ-описания с именем vertical. Конвертация этого описания в VHDL и после- дующий синтез позволяет получить логичес- кую схему 1, состоящую из T = 37 триггеров, УСиМ, 2009, № 5 87 L = 186 комбинационных логических элемен- тов; c площадью S = 546 условных единиц; за- держка схемы τ = 16,10 нс. Повторный синтез по RTL1 (см. рис. 1) позволяет улучшить ре- зультат (см. строку ниже) по площади – полу- чить схему c параметром S = 532, но задерж- ка схемы при этом увеличивается на 3 нс, τ = 19,10 нс. Таким образом, использование кон- вертации в VHDL и повторный синтез могут быть целесообразными с различных уровней представления данных. Маршрут 2. Результаты эксперимента пред- ставлены в табл. 4. Тестовые примеры взяты из множеств тестовых примеров MCNC BENCH- MARK SET и itc99-poli2, символом помечены примеры автоматов, в отличие от примеров ком- бинационных схем. Синтез схем проводился в той же библиотеке, что и в эксперименте для маршрута 1; обозначения S, τ имеют тот же смысл, что и в табл. 3; n, m – число входных и выходных полюсов схемы соответственно. Экс- перимент показывает, что переход к двухуров- невым представлениям функций и оптимизация в Micel позволяют увеличить быстродействие логических схем, а иногда и их сложность. Маршрут 3. В качестве примеров исходных данных были выбраны два описания verg1, verg2 (табл. 5) таблиц микрокоманд отечественных микроконтроллеров. Таблицы описывались как системы неполностью определенных (частич- ных) булевых функций, пример описаний дан в листинге 2. В табл. 5: n, m – число входов и функций, k – число наборов (строк таблицы микрокоманд), τ – задержка схемы (нс). Синтез проводился в другой библиотеке проектирова- ния, площадь S подсчитывалась в других услов- ных единицах. Эксперимент показал, что опти- мизация в маршруте 3 позволяет уменьшить сложность схемы, но задержка при этом, как правило, увеличивается. Т а б л и ц а 4. Реализация комбинационных схем и автома- тов в маршруте 2 Схема Leonardo Совместная минимизация + Leonardo Раздельная минимизация + Leonardo BDD + Leonardo Имя n m S τ S τ S τ S τ F51m 8 8 116 9,90 113 8,90 113 8,90 118 8,95 Frg1 28 3 296 20,40 320 19,30 320 19,30 – – b01* 4 2 155 11,15 144 12,90 163 15,35 125 12,70 b02* 3 1 48 9,70 53 9,50 53 9,50 51 10,60 B06* 4 6 98 14,40 133 11,70 136 10,30 155 9,70 LAL 26 19 313 13,50 354 12,60 354 12,60 – – PM1 16 13 135 9,30 141 6,20 141 6,20 – – C8 28 18 226 6,30 227 6,20 227 6,20 – – CM162A 14 5 79 10,20 77 7,50 77 7,50 – – b03* 6 1 441 28,80 543 26,30 542 26,40 – – B07* 3 1 1275 39,20 3265 44,95 3362 46,40 – – B09* 3 1 455 19,20 1013 33,30 1301 35,10 – – Т а б л и ц а 5. Реализация систем частичных функций в маршруте 3 Схема Синтез по исход- ному описанию Синтез минимизи- рованного «остат- ка» после выделе- ния ПЗУ(14,7) Синтез по мини мизированной Системе ДНФ Имя n m k S L τ S L τ S L τ Verg1 17612004 1211630 2820 12,60 460736 1086 5,26 342356 79813,73 Verg2 18632130 1324215 3177 13,21 550706 1311 5,21 383538 90513,73 Заключение. В статье описана архитектура, входные, выходные данные и решаемые задачи в системе Micel. Эксперименты с практически- ми примерами показывают, что интеграция данной системы с промышленными синтезато- Т а б л и ц а 3. Реализация параллельных алгоритмов логического проектирования в маршруте 1 ПРАЛУ-описание (логическая схема 1) Параллельный автомат (логическая схема 2) Секвенциальный автомат (логическая схема 3) SF – описание (логическая схема 4)Схема Процесс проектирования Т S L τ Т S L τ Т S L τ Т S L τ Конвертация 37 546 186 16,10 33 970 306 41,50 15 566 189 33,95 15 639 221 29,05Vertical Оптимизация RTL 37 532 174 19,10 33 854 261 44,35 15 882 276 29,25 15 691 240 26,40 Конвертация 25 406 135 12,10 22 659 207 34,80 12 421 141 21,45 12 411 137 21,10Zak135m Оптимизация RTL 25 387 120 18,20 22 551 178 31,90 12 387 120 18,20 12 480 153 18,40 Конвертация 13 202 71 8,20 13 343 107 23,45 7 140 43 7,05 7 149 48 9,40Pott1 Оптимизация RTL 13 186 62 8,80 13 236 72 9,00 7 124 36 8,10 7 127 38 6,95 Конвертация 3 32 12 4,35 16 253 90 8,30 9 175 60 12,50 8 146 47 - Traffic Оптимизация RTL 3 27 9 2,70 16 214 67 11,60 9 173 58 10,00 8 - - 11,80 Конвертация 7 126 43 9,35 14 459 162 25,95 8 207 65 14,40 10 220 73 11,80Pott3 Оптимизация RTL 7 111 42 9,10 14 364 136 22,60 8 184 63 12,70 10 207 72 9,80 88 УСиМ, 2009, № 5 рами позволяет варьировать параметрами схе- мы (сложность, быстродействие) и выбирать лучшие схемные решения при схемной реали- зации как параллельных алгоритмов логиче- ского управления, так и RTL-описаний систем полностью определенных функций и таблич- ных форм частичных функций. 1. Закревский А.Д. Параллельные алгоритмы логиче- ского управления. – Минск: Ин-т техн. кибернети- ки НАН Беларуси, 1999. – 202 с. 2. Бибило П.Н. Cистемы проектирования интегральных схем на основе языка VHDL. StateCAD, ModelSim, LeonardoSpectrum. - М.: СОЛОН-Пресс, 2005. – 384 с. 3. Система «Custom Logic» автоматизированного про- ектирования управляющей логики заказных цифро- вых СБИС / П.Н. Бибило, И.В. Василькова, С.Н. Кар- даш и др. // Микроэлектроника. – 2003. – Т. 32. – № 5. – С. 379 – 398. 4. Бибило П.Н. Представление ПРАЛУ-описаний па- раллельных алгоритмов логического управления на языке VHDL // Микроэлектроника. – 2006. – Т. 35. – № 4. – С. 306–320. 5. Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981. – 416 c. 6. Бибило П.Н., Романов В.И. Новые эксперименты по- вторного синтеза комбинационных схем // Микро- электроника. – 2008. – Т. 37. – № 3. – С. 228–240. 7. Торопов Н.Р. Минимизация систем булевых функ- ций в классе ДНФ // Логическое проектирование. – Минск: Ин-т техн. кибернетики НАН Беларуси, 1999. – Вып. 4. – С. 4–19. 8. Akers S.B. Binary Decision Diagrams // IEEE Trans. on Computers. – 1978. – 27. – № 6. – P. 509–516. 9. Кузнецов О.П. О программной реализации логиче- ских функций и автоматов // Автоматика и телеме- ханика. – 1977. – № 7. – С. 63–74; № 9. – С. 138–149. 10. Бибило П.Н., Енин С.В. Синтез комбинационных схем методами функциональной декомпозиции. – Минск: Наука и техника, 1987. – 189 с. Поступила 20.12.2008 Тел. для справок: (37517) 284-2084, 231-8403 (Минск) E-mail: bibilo@newman.bas-net.by © П.Н. Бибило, С.Н. Кардаш, Н.А. Кириенко, Д.А. Кочанов, П.В. Леончик, Д.Я. Новиков, В.И. Романов, Д.И. Черемисинов, 2009 Окончание статьи А.А. Баркалова и др. 1. Baranov S. Logic Synthesis for Control Automata. – Kluwer Academic Publishers, 1994. – 312 p. 2. Грушвицкий Р.И., Мурсаев А.Х., Угрюмов Е.П. Про- ектирование систем с использованием микросхем программируемой логики. – СПб: БХВ. – Петер- бург, 2002. – 608 с. 3. Соловьев В.В. Проектирование цифровых схем на основе программируемых логических интегральных схем. – М.: Горячая линия–ТЕЛЕКОМ, 2001. – 636 с. 4. Barkalov A., Titarenko L. Logic Synthesis for Compo- sitional Microprogram Control Units. – Berlin: Sprin- ger, 2008. – 272 p. 5. Altera devices overview. – http://www.altera.com/pro- ducts/devices/common/dev-family_overview.html 6. Xilinx CPLDs. – http://www. ilinx.com/products/silicon_ solutions/cplds/index.htm 7. Баркалов А.А., Зеленёва И.Я., Лаврик А.С. Исполь- зование особенностей ПЛИС для оптимизации схе- мы устройства управления / Наук. пр. Донецького нац. техн. ун-ту. Серія «Інформатика, кібернетика і обчислювальна техніка» (ІКОТ–2008). Вип. 9 (132) – Донецьк: ДонНТУ. – 2008. – С. 178–182. 8. Оптимизация устройства управления с преобразова- телем адреса микрокоманд / А.А. Баркалов, С.А. Ко- валев, А.А. Красичков и др. // Материалы Девятого Междунар. науч.-практ. семинара. В 3-х кн. – Таган- рог. Кн. 3. – 2008. – С. 12–20. 9. CoolRunner CPLD Datasheet. – http://www.xilinx.com/ support/documentation/coolrunner-ii.htm 10. Maxfield C. The Design Warrior’s Guide to FPGAs. – Amsterdam: Elseveir, 2004. – 541 p. Поступила 31.03.2009 Тел. для справок: (XXX) 301-0723 (Донецк) E-mail: A.Barkalov@iie.uz.zgora.pl © А.А. Баркалов, Л.А. Титаренко, А.С. Лаврик, 2009 << /ASCII85EncodePages false /AllowTransparency false /AutoPositionEPSFiles true /AutoRotatePages /None /Binding /Left /CalGrayProfile (Dot Gain 20%) /CalRGBProfile (sRGB IEC61966-2.1) /CalCMYKProfile (U.S. Web Coated \050SWOP\051 v2) /sRGBProfile (sRGB IEC61966-2.1) /CannotEmbedFontPolicy /Error /CompatibilityLevel 1.4 /CompressObjects /Tags /CompressPages true /ConvertImagesToIndexed true /PassThroughJPEGImages true /CreateJobTicket false /DefaultRenderingIntent /Default /DetectBlends true /DetectCurves 0.0000 /ColorConversionStrategy /CMYK /DoThumbnails false /EmbedAllFonts true /EmbedOpenType false /ParseICCProfilesInComments true /EmbedJobOptions true /DSCReportingLevel 0 /EmitDSCWarnings false /EndPage -1 /ImageMemory 1048576 /LockDistillerParams false /MaxSubsetPct 100 /Optimize true /OPM 1 /ParseDSCComments true /ParseDSCCommentsForDocInfo true /PreserveCopyPage true /PreserveDICMYKValues true /PreserveEPSInfo true /PreserveFlatness true /PreserveHalftoneInfo false /PreserveOPIComments true /PreserveOverprintSettings true /StartPage 1 /SubsetFonts true /TransferFunctionInfo /Apply /UCRandBGInfo /Preserve /UsePrologue false /ColorSettingsFile () /AlwaysEmbed [ true ] /NeverEmbed [ true ] /AntiAliasColorImages false /CropColorImages true /ColorImageMinResolution 300 /ColorImageMinResolutionPolicy /OK /DownsampleColorImages true /ColorImageDownsampleType /Bicubic /ColorImageResolution 300 /ColorImageDepth -1 /ColorImageMinDownsampleDepth 1 /ColorImageDownsampleThreshold 1.50000 /EncodeColorImages true /ColorImageFilter /DCTEncode /AutoFilterColorImages true /ColorImageAutoFilterStrategy /JPEG /ColorACSImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /ColorImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /JPEG2000ColorACSImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /JPEG2000ColorImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /AntiAliasGrayImages false /CropGrayImages true /GrayImageMinResolution 300 /GrayImageMinResolutionPolicy /OK /DownsampleGrayImages true /GrayImageDownsampleType /Bicubic /GrayImageResolution 300 /GrayImageDepth -1 /GrayImageMinDownsampleDepth 2 /GrayImageDownsampleThreshold 1.50000 /EncodeGrayImages true /GrayImageFilter /DCTEncode /AutoFilterGrayImages true /GrayImageAutoFilterStrategy /JPEG /GrayACSImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /GrayImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /JPEG2000GrayACSImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /JPEG2000GrayImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /AntiAliasMonoImages false /CropMonoImages true /MonoImageMinResolution 1200 /MonoImageMinResolutionPolicy /OK /DownsampleMonoImages true /MonoImageDownsampleType /Bicubic /MonoImageResolution 1200 /MonoImageDepth -1 /MonoImageDownsampleThreshold 1.50000 /EncodeMonoImages true /MonoImageFilter /CCITTFaxEncode /MonoImageDict << /K -1 >> /AllowPSXObjects false /CheckCompliance [ /None ] /PDFX1aCheck false /PDFX3Check false /PDFXCompliantPDFOnly false /PDFXNoTrimBoxError true /PDFXTrimBoxToMediaBoxOffset [ 0.00000 0.00000 0.00000 0.00000 ] /PDFXSetBleedBoxToMediaBox true /PDFXBleedBoxToTrimBoxOffset [ 0.00000 0.00000 0.00000 0.00000 ] /PDFXOutputIntentProfile () /PDFXOutputConditionIdentifier () /PDFXOutputCondition () /PDFXRegistryName () /PDFXTrapped /False /CreateJDFFile false /Description << /ARA <FEFF06270633062A062E062F0645002006470630064700200627064406250639062F0627062F0627062A002006440625064606340627062100200648062B062706260642002000410064006F00620065002000500044004600200645062A064806270641064206290020064406440637062806270639062900200641064A00200627064406450637062706280639002006300627062A0020062F0631062C0627062A002006270644062C0648062F0629002006270644063906270644064A0629061B0020064A06450643064600200641062A062D00200648062B0627062606420020005000440046002006270644064506460634062306290020062806270633062A062E062F062706450020004100630072006F0062006100740020064800410064006F006200650020005200650061006400650072002006250635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E0635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E> /BGR <FEFF04180437043f043e043b043704320430043904420435002004420435043704380020043d0430044104420440043e0439043a0438002c00200437043000200434043000200441044a0437043404300432043004420435002000410064006f00620065002000500044004600200434043e043a0443043c0435043d04420438002c0020043c0430043a04410438043c0430043b043d043e0020043f044004380433043e04340435043d04380020043704300020043204380441043e043a043e043a0430044704350441044204320435043d0020043f04350447043004420020043704300020043f044004350434043f0435044704300442043d04300020043f043e04340433043e0442043e0432043a0430002e002000200421044a04370434043004340435043d043804420435002000500044004600200434043e043a0443043c0435043d044204380020043c043e0433043004420020043404300020044104350020043e0442043204300440044f0442002004410020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200441043b0435043404320430044904380020043204350440044104380438002e> /CHS <FEFF4f7f75288fd94e9b8bbe5b9a521b5efa7684002000410064006f006200650020005000440046002065876863900275284e8e9ad88d2891cf76845370524d53705237300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c676562535f00521b5efa768400200050004400460020658768633002> /CHT <FEFF4f7f752890194e9b8a2d7f6e5efa7acb7684002000410064006f006200650020005000440046002065874ef69069752865bc9ad854c18cea76845370524d5370523786557406300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c4f86958b555f5df25efa7acb76840020005000440046002065874ef63002> /CZE <FEFF005400610074006f0020006e006100730074006100760065006e00ed00200070006f0075017e0069006a007400650020006b0020007600790074007600e101590065006e00ed00200064006f006b0075006d0065006e0074016f002000410064006f006200650020005000440046002c0020006b00740065007200e90020007300650020006e0065006a006c00e90070006500200068006f006400ed002000700072006f0020006b00760061006c00690074006e00ed0020007400690073006b00200061002000700072006500700072006500730073002e002000200056007900740076006f01590065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f007400650076015900ed007400200076002000700072006f006700720061006d0065006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076011b006a016100ed00630068002e> /DAN <FEFF004200720075006700200069006e0064007300740069006c006c0069006e006700650072006e0065002000740069006c0020006100740020006f007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400650072002c0020006400650072002000620065006400730074002000650067006e006500720020007300690067002000740069006c002000700072006500700072006500730073002d007500640073006b007200690076006e0069006e00670020006100660020006800f8006a0020006b00760061006c0069007400650074002e0020004400650020006f007000720065007400740065006400650020005000440046002d0064006f006b0075006d0065006e0074006500720020006b0061006e002000e50062006e00650073002000690020004100630072006f00620061007400200065006c006c006500720020004100630072006f006200610074002000520065006100640065007200200035002e00300020006f00670020006e0079006500720065002e> /DEU <FEFF00560065007200770065006e00640065006e0020005300690065002000640069006500730065002000450069006e007300740065006c006c0075006e00670065006e0020007a0075006d002000450072007300740065006c006c0065006e00200076006f006e002000410064006f006200650020005000440046002d0044006f006b0075006d0065006e00740065006e002c00200076006f006e002000640065006e0065006e002000530069006500200068006f006300680077006500720074006900670065002000500072006500700072006500730073002d0044007200750063006b0065002000650072007a0065007500670065006e0020006d00f60063006800740065006e002e002000450072007300740065006c006c007400650020005000440046002d0044006f006b0075006d0065006e007400650020006b00f6006e006e0065006e0020006d006900740020004100630072006f00620061007400200075006e0064002000410064006f00620065002000520065006100640065007200200035002e00300020006f0064006500720020006800f600680065007200200067006500f600660066006e00650074002000770065007200640065006e002e> /ESP <FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f00730020005000440046002000640065002000410064006f0062006500200061006400650063007500610064006f00730020007000610072006100200069006d0070007200650073006900f3006e0020007000720065002d0065006400690074006f007200690061006c00200064006500200061006c00740061002000630061006c0069006400610064002e002000530065002000700075006500640065006e00200061006200720069007200200064006f00630075006d0065006e0074006f00730020005000440046002000630072006500610064006f007300200063006f006e0020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e003000200079002000760065007200730069006f006e0065007300200070006f00730074006500720069006f007200650073002e> /ETI <FEFF004b00610073007500740061006700650020006e0065006900640020007300e4007400740065006900640020006b00760061006c006900740065006500740073006500200074007200fc006b006900650065006c007300650020007000720069006e00740069006d0069007300650020006a0061006f006b007300200073006f00620069006c0069006b0065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740069006400650020006c006f006f006d006900730065006b0073002e00200020004c006f006f0064007500640020005000440046002d0064006f006b0075006d0065006e00740065002000730061006100740065002000610076006100640061002000700072006f006700720061006d006d006900640065006700610020004100630072006f0062006100740020006e0069006e0067002000410064006f00620065002000520065006100640065007200200035002e00300020006a00610020007500750065006d006100740065002000760065007200730069006f006f006e00690064006500670061002e000d000a> /FRA <FEFF005500740069006c006900730065007a00200063006500730020006f007000740069006f006e00730020006100660069006e00200064006500200063007200e900650072002000640065007300200064006f00630075006d0065006e00740073002000410064006f00620065002000500044004600200070006f0075007200200075006e00650020007100750061006c0069007400e90020006400270069006d007000720065007300730069006f006e00200070007200e9007000720065007300730065002e0020004c0065007300200064006f00630075006d0065006e00740073002000500044004600200063007200e900e90073002000700065007500760065006e0074002000ea0074007200650020006f007500760065007200740073002000640061006e00730020004100630072006f006200610074002c002000610069006e00730069002000710075002700410064006f00620065002000520065006100640065007200200035002e0030002000650074002000760065007200730069006f006e007300200075006c007400e90072006900650075007200650073002e> /GRE <FEFF03a703c103b703c303b903bc03bf03c003bf03b903ae03c303c403b5002003b103c503c403ad03c2002003c403b903c2002003c103c503b803bc03af03c303b503b903c2002003b303b903b1002003bd03b1002003b403b703bc03b903bf03c503c103b303ae03c303b503c403b5002003ad03b303b303c103b103c603b1002000410064006f006200650020005000440046002003c003bf03c5002003b503af03bd03b103b9002003ba03b103c42019002003b503be03bf03c703ae03bd002003ba03b103c403ac03bb03bb03b703bb03b1002003b303b903b1002003c003c103bf002d03b503ba03c403c503c003c903c403b903ba03ad03c2002003b503c103b303b103c303af03b503c2002003c503c803b703bb03ae03c2002003c003bf03b903cc03c403b703c403b103c2002e0020002003a403b10020005000440046002003ad03b303b303c103b103c603b1002003c003bf03c5002003ad03c703b503c403b5002003b403b703bc03b903bf03c503c103b303ae03c303b503b9002003bc03c003bf03c103bf03cd03bd002003bd03b1002003b103bd03bf03b903c703c403bf03cd03bd002003bc03b5002003c403bf0020004100630072006f006200610074002c002003c403bf002000410064006f00620065002000520065006100640065007200200035002e0030002003ba03b103b9002003bc03b503c403b103b303b503bd03ad03c303c403b503c103b503c2002003b503ba03b403cc03c303b503b903c2002e> /HEB <FEFF05D405E905EA05DE05E905D5002005D105D405D205D305E805D505EA002005D005DC05D4002005DB05D305D9002005DC05D905E605D505E8002005DE05E105DE05DB05D9002000410064006F006200650020005000440046002005D405DE05D505EA05D005DE05D905DD002005DC05D405D305E405E105EA002005E705D305DD002D05D305E405D505E1002005D005D905DB05D505EA05D905EA002E002005DE05E105DE05DB05D90020005000440046002005E905E005D505E605E805D5002005E005D905EA05E005D905DD002005DC05E405EA05D905D705D4002005D105D005DE05E605E205D505EA0020004100630072006F006200610074002005D5002D00410064006F00620065002000520065006100640065007200200035002E0030002005D505D205E805E105D005D505EA002005DE05EA05E705D305DE05D505EA002005D905D505EA05E8002E05D005DE05D905DD002005DC002D005000440046002F0058002D0033002C002005E205D905D905E005D5002005D105DE05D305E805D905DA002005DC05DE05E905EA05DE05E9002005E905DC0020004100630072006F006200610074002E002005DE05E105DE05DB05D90020005000440046002005E905E005D505E605E805D5002005E005D905EA05E005D905DD002005DC05E405EA05D905D705D4002005D105D005DE05E605E205D505EA0020004100630072006F006200610074002005D5002D00410064006F00620065002000520065006100640065007200200035002E0030002005D505D205E805E105D005D505EA002005DE05EA05E705D305DE05D505EA002005D905D505EA05E8002E> /HRV (Za stvaranje Adobe PDF dokumenata najpogodnijih za visokokvalitetni ispis prije tiskanja koristite ove postavke. Stvoreni PDF dokumenti mogu se otvoriti Acrobat i Adobe Reader 5.0 i kasnijim verzijama.) /HUN <FEFF004b0069007600e1006c00f30020006d0069006e0151007300e9006701710020006e0079006f006d00640061006900200065006c0151006b00e90073007a00ed007401510020006e0079006f006d00740061007400e100730068006f007a0020006c006500670069006e006b00e1006200620020006d0065006700660065006c0065006c0151002000410064006f00620065002000500044004600200064006f006b0075006d0065006e00740075006d006f006b0061007400200065007a0065006b006b0065006c0020006100200062006500e1006c006c00ed007400e10073006f006b006b0061006c0020006b00e90073007a00ed0074006800650074002e0020002000410020006c00e90074007200650068006f007a006f00740074002000500044004600200064006f006b0075006d0065006e00740075006d006f006b00200061007a0020004100630072006f006200610074002000e9007300200061007a002000410064006f00620065002000520065006100640065007200200035002e0030002c0020007600610067007900200061007a002000610074007400f3006c0020006b00e9007301510062006200690020007600650072007a006900f3006b006b0061006c0020006e00790069007400680061007400f3006b0020006d00650067002e> /ITA <FEFF005500740069006c0069007a007a006100720065002000710075006500730074006500200069006d0070006f007300740061007a0069006f006e00690020007000650072002000630072006500610072006500200064006f00630075006d0065006e00740069002000410064006f00620065002000500044004600200070006900f900200061006400610074007400690020006100200075006e00610020007000720065007300740061006d0070006100200064006900200061006c007400610020007100750061006c0069007400e0002e0020004900200064006f00630075006d0065006e007400690020005000440046002000630072006500610074006900200070006f00730073006f006e006f0020006500730073006500720065002000610070006500720074006900200063006f006e0020004100630072006f00620061007400200065002000410064006f00620065002000520065006100640065007200200035002e003000200065002000760065007200730069006f006e006900200073007500630063006500730073006900760065002e> /JPN <FEFF9ad854c18cea306a30d730ea30d730ec30b951fa529b7528002000410064006f0062006500200050004400460020658766f8306e4f5c6210306b4f7f75283057307e305930023053306e8a2d5b9a30674f5c62103055308c305f0020005000440046002030d530a130a430eb306f3001004100630072006f0062006100740020304a30883073002000410064006f00620065002000520065006100640065007200200035002e003000204ee5964d3067958b304f30533068304c3067304d307e305930023053306e8a2d5b9a306b306f30d530a930f330c8306e57cb30818fbc307f304c5fc59808306730593002> /KOR <FEFFc7740020c124c815c7440020c0acc6a9d558c5ec0020ace0d488c9c80020c2dcd5d80020c778c1c4c5d00020ac00c7a50020c801d569d55c002000410064006f0062006500200050004400460020bb38c11cb97c0020c791c131d569b2c8b2e4002e0020c774b807ac8c0020c791c131b41c00200050004400460020bb38c11cb2940020004100630072006f0062006100740020bc0f002000410064006f00620065002000520065006100640065007200200035002e00300020c774c0c1c5d0c11c0020c5f40020c2180020c788c2b5b2c8b2e4002e> /LTH <FEFF004e006100750064006f006b0069007400650020016100690075006f007300200070006100720061006d006500740072007500730020006e006f0072011700640061006d00690020006b0075007200740069002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b00750072006900650020006c0061006200690061007500730069006100690020007000720069007400610069006b007900740069002000610075006b01610074006f00730020006b006f006b007900620117007300200070006100720065006e006700740069006e00690061006d00200073007000610075007300640069006e0069006d00750069002e0020002000530075006b0075007200740069002000500044004600200064006f006b0075006d0065006e007400610069002000670061006c006900200062016b007400690020006100740069006400610072006f006d00690020004100630072006f006200610074002000690072002000410064006f00620065002000520065006100640065007200200035002e0030002000610072002000760117006c00650073006e0117006d00690073002000760065007200730069006a006f006d00690073002e> /LVI <FEFF0049007a006d0061006e0074006f006a00690065007400200161006f00730020006900650073007400610074012b006a0075006d00750073002c0020006c0061006900200076006500690064006f00740075002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006100730020006900720020012b00700061016100690020007000690065006d01130072006f00740069002000610075006700730074006100730020006b00760061006c0069007401010074006500730020007000690072006d007300690065007300700069006501610061006e006100730020006400720075006b00610069002e00200049007a0076006500690064006f006a006900650074002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006f002000760061007200200061007400760113007200740020006100720020004100630072006f00620061007400200075006e002000410064006f00620065002000520065006100640065007200200035002e0030002c0020006b0101002000610072012b00200074006f0020006a00610075006e0101006b0101006d002000760065007200730069006a0101006d002e> /NLD (Gebruik deze instellingen om Adobe PDF-documenten te maken die zijn geoptimaliseerd voor prepress-afdrukken van hoge kwaliteit. De gemaakte PDF-documenten kunnen worden geopend met Acrobat en Adobe Reader 5.0 en hoger.) /NOR <FEFF004200720075006b00200064006900730073006500200069006e006e007300740069006c006c0069006e00670065006e0065002000740069006c002000e50020006f0070007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740065007200200073006f006d00200065007200200062006500730074002000650067006e0065007400200066006f00720020006600f80072007400720079006b006b0073007500740073006b00720069006600740020006100760020006800f800790020006b00760061006c0069007400650074002e0020005000440046002d0064006f006b0075006d0065006e00740065006e00650020006b0061006e002000e50070006e00650073002000690020004100630072006f00620061007400200065006c006c00650072002000410064006f00620065002000520065006100640065007200200035002e003000200065006c006c00650072002000730065006e006500720065002e> /POL <FEFF0055007300740061007700690065006e0069006100200064006f002000740077006f0072007a0065006e0069006100200064006f006b0075006d0065006e007400f300770020005000440046002000700072007a0065007a006e00610063007a006f006e00790063006800200064006f002000770079006400720075006b00f30077002000770020007700790073006f006b00690065006a0020006a0061006b006f015b00630069002e002000200044006f006b0075006d0065006e0074007900200050004400460020006d006f017c006e00610020006f007400770069006500720061010700200077002000700072006f006700720061006d006900650020004100630072006f00620061007400200069002000410064006f00620065002000520065006100640065007200200035002e0030002000690020006e006f00770073007a0079006d002e> /PTB <FEFF005500740069006c0069007a006500200065007300730061007300200063006f006e00660069006700750072006100e700f50065007300200064006500200066006f0072006d00610020006100200063007200690061007200200064006f00630075006d0065006e0074006f0073002000410064006f0062006500200050004400460020006d00610069007300200061006400650071007500610064006f00730020007000610072006100200070007200e9002d0069006d0070007200650073007300f50065007300200064006500200061006c007400610020007100750061006c00690064006100640065002e0020004f007300200064006f00630075006d0065006e0074006f00730020005000440046002000630072006900610064006f007300200070006f00640065006d0020007300650072002000610062006500720074006f007300200063006f006d0020006f0020004100630072006f006200610074002000650020006f002000410064006f00620065002000520065006100640065007200200035002e0030002000650020007600650072007300f50065007300200070006f00730074006500720069006f007200650073002e> /RUM <FEFF005500740069006c0069007a00610163006900200061006300650073007400650020007300650074010300720069002000700065006e007400720075002000610020006300720065006100200064006f00630075006d0065006e00740065002000410064006f006200650020005000440046002000610064006500630076006100740065002000700065006e0074007200750020007400690070010300720069007200650061002000700072006500700072006500730073002000640065002000630061006c006900740061007400650020007300750070006500720069006f006100720103002e002000200044006f00630075006d0065006e00740065006c00650020005000440046002000630072006500610074006500200070006f00740020006600690020006400650073006300680069007300650020006300750020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e00300020015f00690020007600650072007300690075006e0069006c006500200075006c0074006500720069006f006100720065002e> /RUS <FEFF04180441043f043e043b044c04370443043904420435002004340430043d043d044b04350020043d0430044104420440043e0439043a043800200434043b044f00200441043e043704340430043d0438044f00200434043e043a0443043c0435043d0442043e0432002000410064006f006200650020005000440046002c0020043c0430043a04410438043c0430043b044c043d043e0020043f043e04340445043e0434044f04490438044500200434043b044f00200432044b0441043e043a043e043a0430044704350441044204320435043d043d043e0433043e00200434043e043f0435044704300442043d043e0433043e00200432044b0432043e04340430002e002000200421043e043704340430043d043d044b04350020005000440046002d0434043e043a0443043c0435043d0442044b0020043c043e0436043d043e0020043e0442043a0440044b043204300442044c002004410020043f043e043c043e0449044c044e0020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200431043e043b043504350020043f043e04370434043d043804450020043204350440044104380439002e> /SKY <FEFF0054006900650074006f0020006e006100730074006100760065006e0069006100200070006f0075017e0069007400650020006e00610020007600790074007600e100720061006e0069006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020006b0074006f007200e90020007300610020006e0061006a006c0065007001610069006500200068006f0064006900610020006e00610020006b00760061006c00690074006e00fa00200074006c0061010d00200061002000700072006500700072006500730073002e00200056007900740076006f00720065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f00740076006f00720069016500200076002000700072006f006700720061006d006f006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076016100ed00630068002e> /SLV <FEFF005400650020006e006100730074006100760069007400760065002000750070006f0072006100620069007400650020007a00610020007500730074007600610072006a0061006e006a006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020006b006900200073006f0020006e0061006a007000720069006d00650072006e0065006a016100690020007a00610020006b0061006b006f0076006f00730074006e006f0020007400690073006b0061006e006a00650020007300200070007200690070007200610076006f0020006e00610020007400690073006b002e00200020005500730074007600610072006a0065006e006500200064006f006b0075006d0065006e0074006500200050004400460020006a00650020006d006f0067006f010d00650020006f0064007000720065007400690020007a0020004100630072006f00620061007400200069006e002000410064006f00620065002000520065006100640065007200200035002e003000200069006e0020006e006f00760065006a01610069006d002e> /SUO <FEFF004b00e40079007400e40020006e00e40069007400e4002000610073006500740075006b007300690061002c0020006b0075006e0020006c0075006f00740020006c00e400680069006e006e00e4002000760061006100740069007600610061006e0020007000610069006e006100740075006b00730065006e002000760061006c006d0069007300740065006c00750074007900f6006800f6006e00200073006f00700069007600690061002000410064006f0062006500200050004400460020002d0064006f006b0075006d0065006e007400740065006a0061002e0020004c0075006f0064007500740020005000440046002d0064006f006b0075006d0065006e00740069007400200076006f0069006400610061006e0020006100760061007400610020004100630072006f0062006100740069006c006c00610020006a0061002000410064006f00620065002000520065006100640065007200200035002e0030003a006c006c00610020006a006100200075007500640065006d006d0069006c006c0061002e> /SVE <FEFF0041006e007600e4006e00640020006400650020006800e4007200200069006e0073007400e4006c006c006e0069006e006700610072006e00610020006f006d002000640075002000760069006c006c00200073006b006100700061002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400200073006f006d002000e400720020006c00e4006d0070006c0069006700610020006600f60072002000700072006500700072006500730073002d007500740073006b00720069006600740020006d006500640020006800f600670020006b00760061006c0069007400650074002e002000200053006b006100700061006400650020005000440046002d0064006f006b0075006d0065006e00740020006b0061006e002000f600700070006e00610073002000690020004100630072006f0062006100740020006f00630068002000410064006f00620065002000520065006100640065007200200035002e00300020006f00630068002000730065006e006100720065002e> /TUR <FEFF005900fc006b00730065006b0020006b0061006c006900740065006c0069002000f6006e002000790061007a006401310072006d00610020006200610073006b013100730131006e006100200065006e0020006900790069002000750079006100620069006c006500630065006b002000410064006f006200650020005000440046002000620065006c00670065006c0065007200690020006f006c0075015f007400750072006d0061006b0020006900e70069006e00200062007500200061007900610072006c0061007201310020006b0075006c006c0061006e0131006e002e00200020004f006c0075015f0074007500720075006c0061006e0020005000440046002000620065006c00670065006c0065007200690020004100630072006f006200610074002000760065002000410064006f00620065002000520065006100640065007200200035002e003000200076006500200073006f006e0072006100730131006e00640061006b00690020007300fc007200fc006d006c00650072006c00650020006100e70131006c006100620069006c00690072002e> /UKR <FEFF04120438043a043e0440043804410442043e043204430439044204350020044604560020043f043004400430043c043504420440043800200434043b044f0020044104420432043e04400435043d043d044f00200434043e043a0443043c0435043d044204560432002000410064006f006200650020005000440046002c0020044f043a04560020043d04300439043a04400430044904350020043f045604340445043e0434044f0442044c00200434043b044f0020043204380441043e043a043e044f043a04560441043d043e0433043e0020043f0435044004350434043404400443043a043e0432043e0433043e0020043404400443043a0443002e00200020042104420432043e04400435043d045600200434043e043a0443043c0435043d0442043800200050004400460020043c043e0436043d04300020043204560434043a0440043804420438002004430020004100630072006f006200610074002004420430002000410064006f00620065002000520065006100640065007200200035002e0030002004300431043e0020043f04560437043d04560448043e04570020043204350440044104560457002e> /ENU (Use these settings to create Adobe PDF documents best suited for high-quality prepress printing. Created PDF documents can be opened with Acrobat and Adobe Reader 5.0 and later.) >> /Namespace [ (Adobe) (Common) (1.0) ] /OtherNamespaces [ << /AsReaderSpreads false /CropImagesToFrames true /ErrorControl /WarnAndContinue /FlattenerIgnoreSpreadOverrides false /IncludeGuidesGrids false /IncludeNonPrinting false /IncludeSlug false /Namespace [ (Adobe) (InDesign) (4.0) ] /OmitPlacedBitmaps false /OmitPlacedEPS false /OmitPlacedPDF false /SimulateOverprint /Legacy >> << /AddBleedMarks false /AddColorBars false /AddCropMarks false /AddPageInfo false /AddRegMarks false /ConvertColors /ConvertToCMYK /DestinationProfileName () /DestinationProfileSelector /DocumentCMYK /Downsample16BitImages true /FlattenerPreset << /PresetSelector /MediumResolution >> /FormElements false /GenerateStructure false /IncludeBookmarks false /IncludeHyperlinks false /IncludeInteractive false /IncludeLayers false /IncludeProfiles false /MultimediaHandling /UseObjectSettings /Namespace [ (Adobe) (CreativeSuite) (2.0) ] /PDFXOutputIntentProfileSelector /DocumentCMYK /PreserveEditing true /UntaggedCMYKHandling /LeaveUntagged /UntaggedRGBHandling /UseDocumentProfile /UseDocumentBleed false >> ] >> setdistillerparams << /HWResolution [2400 2400] /PageSize [612.000 792.000] >> setpagedevice

Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления

Репозитарії

Схожі ресурси