CC BY
102
УДК 680.3
ФУНКЦИОНАЛЬНЫЙ СИНТЕЗ ПАРАЛЛЕЛЬНЫХ НЕПЕРЕСТРАИВАЕМЫХ СПЕЦПРОЦЕССОРОВ С ИСПОЛЬЗОВАНИЕМ АППАРАТА СТРУКТУР СЕМАНТИКО-ЧИСЛОВОЙ СПЕЦИФИКАЦИИ
ü
■,ий
университет
ГА. ПОЛЯКОВ В.В. ЛЫСЫХ В.В. ТОЛСТОЛУЖСКАЯ
В статье представлен обобщенный алгоритм формального функцио-нального/ШГ синтеза вычислительных подсистем параллельных спецпроцессоров с жесткой логикой функционирования. Определено содержание основных этапов. Семантика этапов синтеза и их результаты иллюстрируются с помощью конкретного примера.
Ключевые слова: система автоматизированного проектирования цифровых устройств (САПР), RTL ( Register Transfer Level), Си — граф задачи, структуры семантико-числовой спецификации (СЧС), времяпара-метризованная (временная) параллельная модель Си — программы, временная параллельная граф — схема (ВПГС), спецпроцессор с неперестраи-ваемой архитектурой, формальный функциональный синтез параллельных аппаратных средств.
e-mail:
Прогресс в развитии общества неразрывно связан с необходимостью решения во все более короткие сроки все более сложных задач науки, техники, телекоммуникаций, управления, бизнеса, энергетики, медицины, проектирования и т.д.
Поэтому, для решения таких задач широко применяются различные классы параллельных вычислительных систем. Несмотря на то, что эти системы успешно применяются, в настоящее время наметился большой разрыв между возросшими запросами практики, с одной стороны, и отсутствием возможности удовлетворения решения этих запросов с помощью параллельных вычислительных систем (включая суперкомпьютеры, грид-системы и кластеры, а также существующие автоматизированные системы проектирования параллельного аппаратно-программного обеспечения (САПР)), с другой.
Одной из центральных проблем современной вычислительной техники является повышение эффективности многопроцессорных ЭВМ и суперЭВМ [1,2,3]. Основными путями решения этой проблемы являются:
а) повышение эффективности параллельного программного обеспечения за счет совершенствования систем автоматизированного параллельного программирования (САПП);
б) повышение эффективности параллельных аппаратных средств на основе совершенствования систем автоматизированного проектирования цифровых устройств САПР/EDA (Elektronic Design Automation).
Анализ известных систем автоматизированного проектирования электронных цифровых устройств позволяет сделать следующие выводы [1,17,18,21]:
• основой концепции построения известных САПР/EDÄ является субъективное выполнение человеком вручную наиболее сложных, неформализованных, творческих этапов проектирования, определяющих качество цифровых устройств, допустимую сложность проектируемых объектов, а также сроки и стоимость проектирования — разработки функциональной (RTL) схемы устройства/системы и создание ее спецификации с помощью языков описания аппаратных средств (VHDL, Verilog, SystemC);
• известные САПР не обеспечивают возможности использования всех известных методов параллельной обработки данных с автоматической оптимизацией их состава на основе учета ос о-бенностей различных задач и конкретных требований/ограничений заказчиков;
• известные САПР не обеспечивают возможность проектирования перестраиваемых параллельных спецпроцессоров и систем, способных динамически адаптироваться к изменению состава решаемых задач, их особенностям и изменениям системы требований и ограничений;
• известные САПР не имеют средств, способных обеспечить автоматическое проектирование аппаратных средств, гарантированно обеспечивающих выполнение заданных показателей эффективности: времени выполнения, тактовой частоты, надежности, сложности/стоимости;
• использование при проектировании текстового и графического форматов спецификации объектов проектирования существенно ограничивает возможности повышения быстродейс т-вия и эффективности САПР.
• значительная роль ручного труда специалиста-проектировщика является причинои неспособности САПР существенно сократить сроки проектирования аппаратных средств (проблема Time-to-Market), в первую очередь наиболее сложных объектов проектирования — процессоров (CPU) и заказных специализированны устройств с «жесткой» структурой — ASIC при одновременном повышении качества результатов проектирования.
Целью статьи является описание обобщенного алгоритма формального Структурно — Семантико — Числового (ССЧ) синтеза вычислительных подсистем параллельных неперестраивае-мых спецпроцессоров (НСП) на функциональном/RTL уровне проектирования цифровых аппаратных средств. В отличие от традиционных САПР метод формального функционального синтеза использует для спецификации всех этапов функционального проектирования новый математический аппарат — алгебру структур семантико-числовой спецификации (СЧС).
Исходными данными метода формального синтеза являются:
• Си-программа задачи, для аппаратного решения которой проектируется устройство/спецпроцессор;
• используемый метод параллельной обработки — совмещение независимых операций;
• база данных функциональных модулей и время выполнения ими операций/функций;
• требования/ограничения (заданное время решения задачи или ограничение на количество оборудования/стоимость);
• используемый математический аппарат — алгебра структур семантико-числовой спецификации [19, 20, 21].
Выходные данные должны быть представлены:
• структурами семантико-числовой спецификации СЧС результатов выполнения основных этапов формального синтеза вычислительной подсистемы параллельного спецпроцессора.
• параллельной временной моделью Си — программы исходной задачи;
• функциональной/RTL схемой вычислительной подсистемы параллельного спецпроцессора.
• Основные этапы обобщенного алгоритма формального функционального ССЧ — синтеза (SSN, Structure Semantic Numericall Synthesis) параллельных спецпроцессоров с совмещением независимых операций/ функций задач и жесткой логикой функционирования представляет рис. 1.
Исходные данныо:
•Си-програмча задачи; •метол параллельном обработки: •1>Л функциональных модулей: • требования.ограничения
-Он
Синтез структур BF. С F ссмантико - числовой спецификации Си
upoipaMMM чалами
Синтез Си графа - графической спецификации Си программы
-®-1
Синтез графической спецификации ф - схемы обрабатыкающей подсистемы параллельного спецпроцессора
Синтез структур СЧС BFHP. CFHP Ф - схемы управляющей подсистемы параллельного спецпроцессора
-х- Синтез структур СЧС BFM, CFX1 временной параллельной модели выполнения Си программы -©Синтез 1у»афнческон спецификации временной параллельной модели процесса (в виде ВПГС) -©г Синтез структур СЧС BFHP. С F HP <I> - схемы обрабатывающей подсистемы параллельного с nemipoi icccopa
Синтез графической спецификации ф - схемы управляющей подсистемы параллельного спецпроцессора
-1 ©и
Выходные данные:
• функциональная схема
I îapailле: I ьного Сfict U IpO i iccc ора;
• параллельная временная модель работы спецпроцессора:
• показатели эффективности и их соответствие требованиям:
• счруктуры СЧС.
Рис. 1. Обобщенный алгоритм функциональнош/К7Х синтеза вычислительных подсистем параллельных не-перестраиваемых спецпроцессоров на основе аппарата структур семантико — числовой спецификации
При описании содержания шагов алгоритма синтеза будем использовать конкретную задачу, Си-программа которой представлена на рис. 2.
#include <stdio.h>
void main(void) {
int a,b,c,d ,r; int k,z,p,s;
scanf("%d %d %d %d",&a,&b); scanf("%d %d %d %d",&c,&d); if(a == b)
{
k = a % 2;
z = a * b; r = c / 2; printf("%4d\n",k); printf("%4d\n",z); printf("%4d\n",r);
}
Рис. 2. Си-программа задачи
На первом этапе выполняется синтез структур семантико - числовой спецификации (СЧС), представляющих исходную Си программу задачи. При выполнении этапа формируются базовые структуры СЧС: структура BF СЧС состава операторов и структура CF СЧС связей операторов [22.].
Базовая структура BF операторов Cm — программ имеет следующую организацию:
BF = (N, MET, TYP, NSJ, SJD, BJ, NWJ, WJD, MP1, MP2, VH, VIH, RES).
Базовая структура CF связей операторов Си — программы имеет следующую организацию: СТ = (N, JSD, SPJD, SWIH, SWHO, JWD, WPJD, WWHO, WWIH).
Структура RAZR_ID, содержащая дополнительную информацию о переменных и константах Си — программы, имеет следующую организацию:
RAZR_ID = (NN ID RAZR QRG INIT NO).
Структуры семантико-числовой спецификации содержат операторы-входы данных, операторы-имена переменных и констант, операторы-инструкции/функции, операторы вывода результатов, а также различные типы связей операторов: связи задания имен, связи по данным, управляющие связи, а также осведомительные связи признаков окончания естественных частей Си-программы.
Переход от Си — программ к структурам BF и CF включает выполнение следующих действий: сквозную нумерацию операторов Pj (от j=0 до j=n—1, n — количество операторов); сквозную нумерацию входов - операндов конкретного оператора (от 0 до VHj — 1, где VHj — количество входов) для каждого оператора Pj и сквозную нумерацию выходов (от 0 до VIHj — 1, где VIHj — количество выходов оператора Pj); задание числового кодирования типов TYPj операторов Pj (j = 0, ..., n — 1); формирование для каждого оператора Pj (j = О, ..., n — 1) синтезируемой числовой спецификации множества SPJDj номеров «г» его операндов Pi (сопряженное множество для Pj) и задание его мощности SJDj; формирование для каждого оператора Pj множества WPJDj его внешних операторов (использующих результаты выполнения оператора Pj) и задание его мощности WJDj; формирование для каждого оператора Pj соответствующих меток MPj, MPj MP2j
Массивы структуры RAZR_ID имеют следующую семантику: ID — массив идентификаторов переменных и констант; RAZR- массив значений разрядности переменных и констант; QRG — массив количеств ячеек памяти, необходимых для хранения переменных и констант; INIT- массив признаков необходимости их начальной инициализации; NO — номер оператора базовой структуры BF, представляющего переменную константу Си программы.
Результат формирования структуры BF состава операторов и структуры CF связей операторов СЧС исходной Си — программы (рис. 2) представляют рис. 3 и рис. 4.
else {
}
}
p = c * d; s = b / a ; printf(" %4d\n",p); printf(" %4d\n",s);
N МЕТ ТУР NSJ П.1 ни.| МР1 МР2 ОН ити
0 0 58 -1 0 0 0 1 0 0 0 1 а 1п
1 £1 58 -1 0 0 1 1 0 0 0 1 ||_ 1N
2 И 58 -1 0 0 2 1 0 0 0 1 |:_ 1 и
3 £1 58 -1 0 0 3 1 0 0 0 1 а ¿п
4 0 47 -1 0 0 4 1 0 0 0 2 а
5 £1 47 -1 0 0 5 1 0 0 0 2 и
6 £1 117 -1 0 0 6 1 0 0 0 2 с
7 £1 47 -1 0 0 7 1 0 0 0 2 Л
8 В 47 -1 0 0 8 1 0 0 0 2 V
9 0 47 -1 0 0 9 1 0 0 0 2 к
10 £1 47 -1 0 0 10 1 0 0 0 2 г
11 £1 47 -1 0 0 11 1 0 0 0 2 Р
12 £1 47 -1 0 0 12 1 0 0 0 2 5
13 В 12 0 2 0 13 4 0 0 2 1 =
14 0 12 2 2 0 17 3 0 0 2 1 -
15 £1 12 4 2 0 20 2 0 0 2 1 =
16 £1 12 6 2 0 22 1 0 0 2 1 -
17 £1 23 8 2 0 23 1 0 0 2 1 --
18 0 51 10 1 0 24 5 1 2 1 ир1
19 £1 57 -1 0 1 29 2 0 0 0 1 С2
20 1 5 11 3 1 31 1 0 0 3 1 %
21 £1 12 14 2 1 32 2 0 0 2 -
22 £1 3 16 3 1 34 1 0 0 3 1 *
23 0 12 19 2 1 35 2 0 0 2 -
24 £1 4 21 3 1 37 1 0 0 3 1 /
25 £1 12 24 2 1 38 2 0 0 2 -
26 £1 50 26 3 1 40 1 3 0 3 1 Ьр
27 2 3 29 3 2 41 1 0 0 3 1
28 0 12 32 2 2 42 2 0 0 2 -
29 £1 4 34 3 2 44 1 0 0 3 1 /
а И £1 12 37 2 2 45 2 0 0 2 -
31 £1 50 39 2 2 47 1 3 0 2 1 Ьр
32 3 54 41 2 3 48 1 0 0 2 1 1.0
33 £1 49 43 1 3 -1 0 0 0 1 0
311 £1 48 44 1 3 -1 0 0 0 1 0
35 £1 48 45 1 3 -1 0 0 0 1 0 z_o^lt
36 £1 48 46 1 3 1 0 0 0 1 0 V 01^
37 0 48 47 1 3 -1 0 0 0 1 0 П 01^
38 £1 48 48 1 3 -1 0 0 0 1 0 Б ОиЪ
Рис. 3. Структура БЕ СЧС состава операторов Си-программы
N БЫШН гШИМ лю ИР^ ижжо ижлн
в 1 0 0 0 -1 13 0 0
1 -1 4 1 1 -1 14 В В
2 3 1 0 -1 15 В В
3 -1 5 1 1 -1 16 0 0
5 2 0 -1 13 1 1
5 -1 6 1 1 -1 14 1 1
6 7 3 0 -1 15 1 1
7 -1 7 1 1 -1 16 1 1
8 9 13 0 -1 25 1 1
9 -1 14 0 1 -1 21 1 1
10 -1 17 0 -1 23 1 1
11 12 13 0 -1 28 1 1
12 13 19 0 1 -1 30 1 1
13 -1 18 0 14 17 0 0
14 15 9 1 1 15 20 0 0
15 -1 20 0 16 22 0 0
16 17 13 0 -1 29 1 0
17 18 14 0 1 18 17 1 0
18 -1 18 0 19 22 1 0
19 20 10 1 1 -1 29 0 0
20 -1 22 0 21 24 0 0
21 22 15 0 -1 27 0 0
22 23 19 0 1 -1 27 1 В
23 -1 18 0 -1 18 В 0
24 25 8 1 1 25 20 2 0
25 -1 24 0 26 22 2 0
26 27 25 1 27 24 2 0
27 28 23 1 1 28 27 2 1
28 -1 21 1 -1 29 2 1
29 30 15 0 30 20 1 0
30 31 16 0 1 -1 24 1 0
31 -1 18 1 -1 21 0 0
32 33 11 1 1 33 26 2 1
33 -1 27 0 -1 34 0 0
34 35 14 0 -1 23 0 0
35 36 13 0 1 36 26 1 1
36 -1 18 1 -1 35 0 0
37 38 12 1 1 -1 25 0 0
38 -1 29 0 39 26 0 1
39 40 30 1 -1 36 0 0
40 -1 28 1 1 -1 32 0 0
41 42 31 0 1 -1 28 0 0
42 -1 26 0 0 43 31 1 1
43 -1 32 0 0 -1 37 0 0
44 -1 21 0 0 -1 30 0 0
45 1 23 0 0 46 31 0 1
46 -1 25 0 0 -1 38 0 0
47 -1 28 0 0 -1 32 1 0
48 -1 30 0 0 -1 33 0 0
Рис. 4. Структура СЕ СЧС связей операторов Си-программы
Результат формирования структуры КА2Я_Ю СЧС исходной Си-программы (рисунок 2) представляет табл. 1.
Таблица 1
Структура СЧС ЯА2К_Ю исходной Си — программы
NN ID RAZR QRG INIT NO
0 a 16 1 2 4
1 b 16 1 2 5
2 c 16 1 2 6
3 d 16 1 2 7
4 r 16 1 1 8
5 k 16 1 1 9
6 z 16 1 1 10
7 p 16 1 1 11
8 s 16 1 1 12
9 C2 1 1 1 19
На втором этапе выполняется построение графической визуализации (в виде Си-графа) полученных структур ББ и СБ семантико-числовой спецификации исходной Си-программы. Результат выполнения этапа представляет рис. 5. Синтез Си графа является вспомогательным этапом, выполняемым в интересах представления визуальной информации, позволяющей проектировщику оценить корректность формального компьютерного выполнения первого этапа.
Рис.5. Графическая спецификация (Си-граф) исходной Си-программы
На третьем этапе выполняется синтез структур BFM и CFM СЧС, задающих состав и связи операторов временной параллельной модели и определяющих для каждого оператора временной модели СЧС Си - программы момент времени j начала выполнения, реализующий его функциональный модуль и, следовательно, определяющих псевдо временную модель процесса параллельного решения задачи с помощью спецпроцессора. Принятые при синтезе временной параллельной модели значения длительностей t° j (нс) выполнения модулями элементной базы операторов Pj различных типов (typ) показаны в табл. 2.
Таблица 2
Длительность выполнения модулями элементной базы различных типов (typ) операторов Pj параллельной модели задачи (нс)
typ vx var = == upl dmx * bp l.o vix stop
го(нс) 1.0 1.0 1.05 1.5 0.88 0.68 11.0 41.29 0.68 1.00 0.68 1.0 1.0
Выполнение этапа включает:
• расширение структур БЕ и СЕ СЧС путем введения коммутационных операторов (для рассматриваемого примера — операторов типа <^шх»), управляемых оператором типа «ир1», и введения соответствующих связей по данным и по управлению;
• постановка в соответствие каждому оператору Pj структур СЧС (и Си-графа) значения времени выполнения tf путем выбора типа typ (Pj) оператора Pj и длительности t°(typ) выполнения оператора данного типа, определяемой из табл.2;
• формирование множества Gt (nj) операторов Pj8 с началом выполнения на nj-м ярусе в момент времени t, включающее:
а) формирование множества Ecnj операторов Pj8 — кандидатов на начало выполнения в момент t в соответствии с соотношениями (1 - 3)
ЕП — К--i и
(1)
где — множество операторов Р, реализация которых не была начата на щ'-1-м ярусе в связи с
Iе
Щ _1 1 Г~ ]
отсутствием необходимых свободных ф-модулей; — множество операторов, выполнение которых может быть начато на пу -м ярусе в связи с наличием всех необходимых для них данных (с учетом ранее выполненных операторов и информационно-управляющих связей между операторами
р}ер );
К -i
0 при nj — 0,
Есп,-i \ Gcn.-i при nj > 0; (2)
[и P для S(Pj )=0 (при nj — 0),
\ (3)
|М Р; при выполнении для Р. следующих условий [ ]
а) р] е и К (Р ) при $(Р} ) С в\_1 ;
р б^Щч
б) г\ + г{ < г (Щ) для всех Р е 5(Р] ) ;
здесь Г1
_1 — множество операторов Р., реализация которых была начата на ярусах пу = 1 ... (гу —1); Ь) оценку свободного в момент времени ^пр) состава ф-модулей различных типов; ф выбор из множества операторов-кандидатов ЕС операторов Р; (в порядке уменьшения приоритетов);
d) проверку наличия необходимого для выполнения оператора Р свободного ресурса и закрепление оператора Р. за соответствующим функциональным модулем;
e) расчет момента освобождения ресурса по завершении выполнения оператора Р.. Отметим следующие особенности структур СЧС ББМ и СБМ по сравнению со структурами
BF, CF:
• наличие операторов типа «dmx», управляемых оператором типа «upl», и их связей по данным и по управлению;
• наличие массива NT, элементы которого задают моменты ' начала выполнения операторов Р, рассчитанные по соотношениям (1 — 3);
• наличие массива элементы которого задают принадлежность операторов Р; конкретному временному ярусу с номером пр параллельной модели.
На четвертом этапе выполняется синтез временной параллельной граф-схемы (ВПГС), являющейся визуализацией временной максимально параллельной модели решения задачи. Графическую спецификацию временной параллельной модели представляет рис. 6.
Рис. 6 . Времяпараметризованная (временная) параллельная модель Си — программы задачи
На пятом этапе выполняется синтез структур СЧС BFHP и CFHP (HP, Hard Processing) се-мантико-числовой спецификации функциональной схемы вычислительной подсистемы (HP) параллельного спецпроцессора, исходя из представляющих временную параллельную модель структур СЧС BFM и CFM.
Выполнение этапа включает:
a) формирование, исходя из структуры СЧС BFM, «базового» состава типов функциональных модулей, необходимых для реализации временной параллельной модели Си — программы (рис. 4);
b) определение, исходя из структуры СЧС BFM, количества функциональных модулей каждого типа из «базового» состава модулей, необходимых для реализации временной параллельной модели Си — программы (рис. 6), и сопоставление каждому «базовому »модулю (для выполнения) «закрепленных» за ним операторов P.;
c) синтез исходных структур BFH и CFH СЧС функциональной схемы вычислительной подсистемы спецпроцессора, исходя из структур СЧС BFM и CFM временной параллельной
модели, путем интерпретации операторов P, реализуемых «индивидуальными» ф — модулями, и их связей как соответствующих функциональных модулей вычислительной подсистемы и связей между ними;
d) выделение подмножества «базовых» функциональных модулей, реализующих при выполнении временной параллельной модели Си — программы несколько операторов P. соответствующего типа;
e) введение для подмножества базовых ф — модулей коммуникационных узлов типов «&» и «I »(образующих модули типа «mux»), обеспечивающих возможность ввода в выделенные ф — модули различных операндов, соответствующих каждому из «закрепленных» за модулем операторов P ;
f) расширение структур BFH и CFH путем введения в синтезированные исходные структуры BFH и CFH СЧС подмножества «базовых» функциональных модулей, подмножества коммуникационных узлов и связей между ними;
g) завершение синтеза структур СЧС BFHP и CFHP путем введения в структуры BFH и CFH множества Тс = {tcj_in} входов tcj_jn временной синхронизации модулей памяти (тип «=») и коммуникационных узлов (тип «&») и их связей с управляемыми ф - модулями/узлами вычислительной подсистемы.
Основой формализации и автоматизации выполнения этапа 5 является использование библиотеки операций алгебры структур СЧС [21].
На шестом этапе выполняется визуализация, исходя из структур СЧС BFHP и CFHP, функ-циональной/RTL схемы обрабатывающей подсистемы (HP) параллельного спецпроцессора, которую представляет рис. 7.
Рис. 7. Графическая спецификация синтезированной функциональной схемы обрабатывающей подсистемы параллельного спецпроцессора
На седьмом этапе выполняется синтез временной диаграммы работы вычислительной подсистемы (HP) и расчет моментов ввода в вычислительную подсистему сигналов временной синхронизации.
Выполнение этапа включает:
a) формирование для подмножества узлов временной синхронизации (имеющих тип «&»), принадлежащих структуре BFHP, подмножества PC операторов Pj ^ PC (типа «&»);
b) «расширение» структур BFM и CFM СЧС временной параллельной модели (рис. 6)
за счет:
• введения операторов Pj Е PC в структуру BFM;
• формирования для каждого оператора PjE PC сопряженного S (Pj) и W(Pj) внешнего множеств связей c использованием взаимно однозначных соответствий: «узел синхронизации ^^ оператор синхронизации» и «множества S (Pj) и W(Pj) оператора синхронизации Pj — это множества операторов, реализуемых сопряженными и внешними модулями/узлами конкретного узла временной синхронизации»;
c) введение в структуру CFM сопряженного S (Pj) и W(Pj) внешнего множеств связей оператора Pj; получение «расширенных» структур структур BFMH и CFMH СЧС;
d) синтез для структур BFMH и CFMH в соответствии с соотношениями (1, 2, 3), «расширенной» структуры TFMH СЧС, задающей временную диаграмму работы вычислительной подсистемы и определяющей (в качестве исходных данных для последующего сингеза устройства управления, Control Machine) множество моментов tc ввода в вычислительную подсистему сигналов синхронизации tc_in.
Синтезированные структуры СЧС BFHP, CFHP, TFMH и BAZ_COMP полностью определяют функциональную/RTL схему вычислительной подсистемы спецпроцессора, задают время параллельного решения задачи спецпроцессором, позволяют получить оценку сложности обраб а-тывающей подсистемы (по известной вентильной сложности ф-модулей/узлов используемой базы АК) и предоставляют исходные данные, необходимые для последующего формального синтеза управляющей подсистемы (Control Machine) спецпроцессора.
Разработанный обобщенный алгоритм структурно-семантико-числового метода синтеза и рассмотрение содержания его основных этапов показывает, что использование аппарата алгебры структур семантико-числовой спецификации обеспечивает, в отличие от известных САПР, полную формализацию функционального/RTL проектирования параллельных цифровых аппаратных средств. Метод формального ССЧ синтеза является основой создания инструментальных программных средств технологии автоматического синтеза мультипараллельных спецпроцессоров с жесткой и аппаратно-реконфигурируемой логикой работы.
Список литературы
1. Поляков Г.А. Основы построения и автоматического проектирования самоорганизующихся систем параллельной цифровой обработки информации и повышение эффективности комплексов радиолокационного вооружения ПВО / Г. А. Поляков ; [под общ. ред. проф. В. К. Стрельникова]. — Х.: ВИРТА ПВО, 1986. - 572 с.
2. Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. — СПб.: БХВ-Петербург, 2002. — 608 с.
3. Поляков Г.А. Адаптивные самоорганизующиеся системы с мультипараллельной обработкой данных — стратегия развития цифровой вычислительной техники в XXI-м веке / Г. А. Поляков // Прикладная радиоэлектроника. — Х. : АН ПРЭ, 2002. — № 1. — С. 57—69.
4. Гаврилов М. А. Логическое проектирование дискретных автоматов (языки, методы, алгоритмы) /
М. А. Гаврилов, В.В. Девятков, Е. И. Пурпырев. - М. Наука, 1977. - 352 с.
5. Горбатов В.А. Автоматизация проектирования сложных логических структур / [В.А. Горбатов, В.Ф. Демьянов, Г.Б. Кулиев и др.]; под ред. проф. В.А. Горбатова. — М.: Энергия, 1978. — 352 с.
6. Корячко В.П. Теоретические основы САПР : учеб. для вузов / В.П. Корячко, В.М. Курейчик, И. П. Норенков. — М.: Энергоатомиздат, 1987. — 400 с.
7. Угрюмов Е.П. Цифровая схемотехника. — СПб.: БХВ-Петербург, 2001. —528 с.: ил.
8. Норенков И.П. Основы автоматизированного проектирования : учеб. для вузов. — 2-е изд., пере-раб. и доп. / И.П. Норенков. — М. : Изд-во МГТУ им. Н. Э. Баумана, 2002. — 336 с.
9. Грушевицкий Р.И. Проектирование систем на микросхемах программируемой логики / Р.И. Грушевицкий, А.Х. Мурсаев, Е.П. Угрюмов. — СПб.: БХВ — Петербург, 2002. — 608 с.
10. Кривуля Г.Ф. Новые информационные технологии проектирования цифровых систем / Г.Ф. Кривуля, В.И. Хаханов // Прикладная радиоэлектроника. Состояние и перспективы развития : первый Междунар. радиоэлектр. форум МРФ-2002 : тезисы док. Часть 2. — Х.: АН ПРЭ, ХНУРЭ. 2002. — С. 233—236.
11. Максфилд К. Курс молодого бойца /К. Максфилд.—М. Издательский дом «Додэка — ХХ1», 2007. — 408 с.
12. Разевиг В. Д. От OrCAD для DOS ACCEL EDA Windows / В.Д. Разевиг // САПР и Графика. — 1997. — № 6. — С. 7—14.
13. Разевиг В.Д. Система P-CAD 8. 5 — 8. 7. Руководство пользователя / В.Д. Разевиг. — М.: СОЛОН-Р, 1999. — 329 с.
14. Лобанов В.И. Азбука разработчика цифровых устройств / В.И. Лобанов. — М.: Горячая линия — Телеком, 2001. — 192 с.
15. Бибило П.Н. Синтез логических схем с использованием языка VHDL / П.Н. Бибило. — М.: СОЛОН-Р, 2002. — 384 с.
16. Разевиг В.Д. SystemView-средство системного проектирования радиоэлектронных устройств /В.Д. Разевиг, Г.В. Лаврентьев, И.Л. Златин; под ред. В.Д. Разевига. — М. Горячая линия — Телеком, 2002. — 352 с.
17. Умрихин Ю.Д. Автоматизация проектирования сложных цифровых систем обработки информации и управления реального времени / Ю.Д. Умрихин, Г.А. Поляков. — М.: Минрадиопром, 1985. — 228 с.
18. Поляков Г.А. Автоматизация проектирования сложных цифровых систем коммутации и управления / Г. А. Поляков, Ю.Д. Умрихин. — М. Радио и связь, 1988. — 304 с.
19. Поляков Г.А. Аппарат структур временной семантико-числовой спецификации как основа синтеза параллельных аппаратно-программных средств / Г.А. Поляков, Е.Г. Толстолужская // Параллельная компьютерная алгебра : Всероссийская научная конференция с элементами научной школы для молодежи, 11—15 октября 2010 г. Сборник научных трудов. — С. 31—39.
20. Поляков Г.А. Гарантоспособные адаптивные системы управления и технологии автоматичес-ского проектирования их параллельного аппапатно-программного обеспечения // Радиоэлектронные и компъютерные системы. — Х., 2010. — Вып. 2(43). — С. 32—54.
21. Поляков Г.А. Синтез и анализ параллельных процессов в адаптивных времяпараметризован-ных вычислительных системах / Г.А. Поляков, С.И. Шматков, Е.Г. Толстолужская, Д.А. Толстолужский :монография — Х.: ХНУ имени В.Н. Каразина, 2012. - 672 с.
22. Поляков Г.А. Программа для ЭВМ № 2004610165 «Синтезатор графов Си-программ». РОСПАТЕНТ. Москва, 2004.
23. Поляков Г.А., Поляков О.Г. Программа для ЭВМ № 2008610573 «Синтезатор параллельных аппаратно-реализуемых моделей Си-программ». РОСПАТЕНТ. Москва, 2008 .
FUNCTIONAL SYNTHESIS OF PARALLEL NON REARRANGED SPECIAL PROCESSOR USING THE APPARATUS OF STRUCTURES SEMANTIC NUMBER-SPECIFICATIONS
G.A. POLYAKOV, V.V. LYSYKH, V.V. TOLSTOLUZHSKAYA
Belgorod National Research University [email protected]
In the article presents a generalized algorithm for formal functional / RTL synthesis of parallel computing subsystems, special processor with rigid logic operation. The content of the main stages. The semantics of the stages of synthesis and the results are illustrated with specific examples.
Keywords: computer-aided design of digital devices (CAD), RTL (Regis- ter Transfer Level),C- graph problems, Semantic Structures — Number Speci- fications (SNS),parameterized by the time (time) parallel model of C-programs, temporary parallel graph - the scheme (TPGS), special processor with nonrearranged architecture, a formal functional synthesis of parallel hardware.
