Методи структурного синтезу базових арифметичних функціональних пристроїв з підвищеною швидкодією

Размещено на http://www.allbest.ru/

Одеський національний політехнічний університет

УДК 004.315

Автореферат

дисертації на здобуття наукового ступеня кандидата технічних наук

Методи структурного синтезу базових арифметичних функціональних пристроїв з підвищеною швидкодією

Спеціальність 05.13.05 -- Елементи та пристрої обчислювальної техніки та систем керування

Синегуб Микола Іванович

Одеса 2007

Загальна характеристика роботи

структурний синтез арифметичний пристрій

Актуальність теми. Безперервне ускладнення задач, які необхідно вирішувати на сучасному етапі при науково-технічних розрахунках, при автоматизації проектування і моделювання складних об'єктів та систем, при складанні прогнозу погоди та інше, потребує обробки даних значного обсягу. Це, в свою чергу, вимагає постійного зростання продуктивності цифрових обчислювальних систем, що може бути забезпечено, зокрема, підвищенням швидкодії їх операційних пристроїв.

Відомі апаратні методи алгоритмізації, поєднання в часі мікрооперацій, заготовлення попередніх результатів, розпаралелення підпроцесів обробки даних є потужними засобами підвищення швидкодії операційних пристроїв і цифрових систем в цілому. Ці методи успішно застосовуються при побудові більш швидкодіючих пристроїв, призначених для підсумовування двох операндів.

Сучасним напрямком підвищення швидкодії операційних пристроїв є також багатооперандна обробка масивів даних; при цьому пристрої можуть виконувати як відносно прості операції типу підсумовування/віднімання, так і більш складні операції типу множення і множення/підсумовування.

Для адекватного опису процесу багатооперандної обробки даних найбільш прийнятним є апарат симетричних булевих функцій (СФ), оскільки цей процес має природню симетрію відносно біт операндів розряду, який розглядається.

Важливий внесок в розвиток теорії проектування цифрових операційних пристроїв внесли як вітчизнянні вчені: Лебедєв С.А., Глушков В.М., Майоров С.О., Черкаський М.В., Дрозд О.В., Тарасенко В.П., так і закордонні вчені: Джон фон Нейман, К.С. Уоллес, А.Б. Глассер і інш.

Однак спроектовані на основі відомих методів цифрові операційні пристрої вже не задовольняють все зростаючим вимогам по швидкодії. Тому проблема розробки нових методів проектування цих операційних пристроїв, а також розробки нових та вдосконалення відомих методів виконання арифметичних операцій є досить важливою і актуальною.

Зв'язок роботи з науковими програмами, планами, темами. Напрямки дисертаційної роботи, пов'язані з розробкою пакету прикладних програм для автоматизації проектування арифметичних пристроїв, виконувалися в межах планових науково-дослідницьких робіт кафедри системного програмного забезпечення Одеського національного політехнічного університету (ОНПУ): № 329-73 ІПрограмні засоби автоматизованих систем. Розробка та дослідження методів та засобів автоматизованих системІ (держ. рег. № 0100U001400); № 539-73 Методи та засоби побудови автоматизованих систем переробки інформації і управління.

Мета роботи та задачі дослідження. Метою дисертаційної роботи є розробка методів структурного синтезу базових арифметичних функціональних пристроїв (АП) цифрової обчислювальної техніки, а саме: підсумовуючих, помножуючих і помножуючих/підсумовуючих пристроїв для підвищення їх швидкодії на основі алгоритмізації різних варіантів операцій підсумовування та помноження на базі розпаралелювання мікрооперацій, попередньої підготовки результатів та використання апарату СФ. Для досягнення поставленої мети розв'язуються наступні задачі:

Аналіз і узагальнення відомих рішень побудови суматорів цілих чисел і підсумовуючих пристроїв чисел з плаваючою комою, помножувачів та помножувачів/суматорів цілих чисел.

Розробка нових алгоритмічних і табличноалгоритмічного методів структурного синтезу підсумовуючих пристроїв чисел з плаваючою комою, помножувачів цілих чисел, помножувачів/суматорів цілих чисел.

Подальший розвиток методу перемноження двох цілих чисел на основі роздільного підсумовування сум і перенесень.

Удосконалення та втілення підсумовуючих пристроїв чисел з плаваючою комою.

Розробка структур помножувачів і помножувачів/суматорів цілих чисел, побудованих на базі багаторозрядних багатооперандних суматорів.

Формування низки функціональних моделей на HDL-мові підсумовуючих пристроїв чисел з плаваючою комою різного рівня абстракції для моделювання і визначення їх основних характеристик за швидкодією і апаратними витратами.

Об'єктом дослідження є процес обробки даних в пристроях цифрової обчислювальної техніки.

Предметом дослідження є методи структурного синтезу і шляхи підвищення швидкодії арифметичних пристроїв цифрової обчислювальної техніки.

Методи досліджень. Розробка алгоритмічного та табличноалгоритмічного методів структурного синтезу підсумовуючих пристроїв чисел з плаваючою комою базується на прикладній теорії цифрових автоматів; основах схемотехнічного проектування цифрових схем.

Розробка алгоритмічних методів структурного синтезу помножувачів цілих чисел, помножувачів/суматорів цілих чисел базується на прикладній теорії цифрових автоматів; основах схемотехнічного проектування цифрових схем; булевій алгебрі, включаючи розділ симетричних функцій.

Наукова новизна одержаних результатів роботи полягає в наступному:

Вперше запропонований алгоритмічний метод структурного синтезу підсумовуючих пристроїв чисел з плаваючою комою, який відрізняється від відомих підготовкою проміжних результатів з наступним вибором необхідного результату, що дозволяє проектувати швидкодіючі підсумовуючі пристрої.

Вперше запропонований табличноалгоритмічний метод структурного синтезу підсумовуючих пристроїв чисел з плаваючою комою, який відрізняється від відомих використанням таблиць значень попередніх сум в різних кодах з наступним вибором необхідного результату, що дозволяє проектувати підсумовуючі пристрої з додатковими функціональними можливостями.

Подальший розвиток одержав метод перемноження двох цілих чисел, який відрізняється від відомих нарізним підсумовуванням на кожному ранзі, окрім останнього, сум і перенесень, одержаних при підсумовуванні результатів на попередньому ранзі.

Вперше запропонований алгоритмічний метод структурного синтезу помножувачів цілих чисел, який відрізняється від відомих використанням багаторозрядних багатооперандних суматорів різних структур, що дозволяє проектувати швидкодіючі помножувачі.

Вперше запропонований алгоритмічний метод структурного синтезу швидкодіючих помножувачів/суматорів цілих чисел, який відрізняється від відомих використанням багаторозрядних багатооперандних суматорів різних структур, що дозволяє поєднувати функції помноження, підсумовування та віднімання цілих чисел одинакової розрядності як в прямому, так і в доповняльному кодах.

Практичне значення одержаних результатів. На основі запропонованого алгоритмічного методу запроектована низка швидкодіючих підсумовуючих пристроїв чисел з плаваючою комою, у яких швидкодія збільшена на 40 % в порівнянні з відомими рішеннями.

На основі запропонованого алгоритмічного методу запроектована низка швидкодіючих помножувачів цілих чисел, у яких в залежності від розрядності операндів швидкодія операції помноження збільшується до 15 % в порівнянні з відомими рішеннями.

Розроблені методи структурного синтезу арифметичних пристроїв дозволяють формалізувати та автоматизувати низку етапів проектування найбільш поширених класів цих пристроїв підсумовуючих пристроїв і помножувачів, а також помножувачів/суматорів підвищеної швидкодії.

Пристрої за авторськими свідоцтвами № 1290300 “Устройство для суммирования двух чисел с плавающей запятой” і № 1348825 “Устройство для суммирования чисел с плавающей запятой” упроваджено на підприємстві п/с Р6533.

Основні положення, виводи та рекомендації, що наведені у дисертаційній роботі, планується використати в НДЕКР по розробці та створенню програмно-технічних комплексів на ВАТ “Елемент”, та використовуються у навчальному процесі ОНПУ в дисципліні “Паралельні обчислювальні процеси”, що викладається на кафедрі “Системне програмне забезпечення” для студентів фаху 8.080403 “Програмне забезпечення автоматизованих систем”.

Особистий внесок здобувача. Автору належать наступні наукові розробки: алгоритмічний метод структурного синтезу підсумовуючих пристроїв чисел з плаваючою комою [4, 5, 7, 8], викладений в авторських свідоцтвах та патентах [12, 13, 16, 18, 20]; табличноалгоритмічний метод структурного синтезу підсумовуючих пристроїв чисел з плаваючою комою, викладений в авторському свідоцтві [15]; алгоритмічний метод структурного синтезу помножувачів цілих чисел [3], викладений в патенті [21]. В співавторстві розроблено: алгоритмічний метод структурного синтезу швидкодіючих помножувачів/суматорів цілих чисел [1, 6, 9, 11], викладений в авторському свідоцтві і патентах [14, 17, 19]; метод перемноження двох цілих чисел на основі нарізного підсумовування сум часткових добутків і виникаючих при цьому перенесень на всіх рангах, за винятком останнього [2, 10].

Апробація роботи. Результати роботи доповідалися та обговорювалися на міжнародних конференціях: “Автоматика - 2000” (Львів, 2000 р.), “Автоматика - 2001” (Одеса, 2001 р.), “Розвиток наукових досліджень “2005”” (Полтава, 2005 р.).

Публікації. За темою дисертації опублікована 21 друкована робота, із них 5 - в спеціалізованих виданнях відповідно списку ВАК України; у тому числі 10 авторських свідоцтв і патентів на винаходи.

Структура й обсяг дисертації. Дисертаційна робота складається із вступу, 4 розділів, висновків та 6 додатків. Обсяг дисертації 116 стор., додатків 20 стор. Дисертація містить 64 рисунки і 3 таблиці та посилання до 88 літературних джерел.

Основний зміст роботи

У вступі обгрунтована актуальність теми дисертації; сформульована мета роботи і задачі досліджень; наведені основні положення, що виносяться на захист; викладені основні наукові та практичні результати роботи.

В першому розділі Аналіз відомих методів і технічних рішень, що застосовуються при проектуванні операційних пристроїв наведено огляд відомих методів і технічних рішень, що застосовуються при проектуванні цифрових операційних пристроїв.

Розглянуті апаратні методи проектування пристроїв цифрової обчислювальної техніки, які діляться на три класи: алгоритмічні, табличні і табличноалгоритмічні.

В розділі розглядаються і аналізуються відомі структури операційних пристроїв процесорів. Приводяться способи підвищення продуктивності арифметичних пристроїв. Розглядаються питання апаратно-програмної реалізації обчислень і засобів автоматичного проектування пристроїв обчислювальної техніки.

Відомим класичним прикладом обчислювальної системи з конвеєрним операційним пристроєм є ЕОМ Star100 фірми CDC. В розділі розглянуто спрощену структуру пристрою ЕОМ Star100, що виконує з використанням двословного комбінаційного суматора мікрооперації макрооперації підсумовування чисел з плаваючою комою послідовно. Даний пристрій при несуттєвих апаратних витратах має невисоку швидкодію, що є його вадою.

В розділі проаналізований фрагмент відомого, одного із найбільш швидкодіючих серед матричних помножувачів, багатошарового матричного помножувача з використанням однорозрядних повних суматорів. Згортання значень початкової матриці в даному помножувачі відбувається за етапів (шарів) (n число розрядів у співмножниках).

х = logn (1)

Один із відомих методів перемноження в доповняльних кодах, що розглянутий в розділі, базується на зображенні доповняльного коду у вигляді позиційного числа з додатними вагами у всіх його коефіцієнтів, окрім знакового розряду, що має від'ємний ваговий коефіцієнт:

А_доп = a_n12ⁿ¹ + . (2)

В розділі наведені короткі теоретичні відомості про симетричні булеві функції, і представлена структура n-розрядного чотириоперандного суматора, спроектованого на базі СФ. Різні за структурою багаторозрядні багатооперандні суматори можуть використовуватися для покриття матриці часткових добутків при перемноженні цілих чисел.

В розділі розглянута низка арифметико-логічних пристроїв (АЛП) ЕОМ. Якщо в АЛП кожна макрооперація виконується окремим операційним пристроєм, то кількість операційних пристроїв в такому АЛП збігається з числом макрооперацій, які виконуються ним, що є його вадою. При апаратному суміщенні декількох функцій число операційних пристроїв в АЛП зменшується, і це спрощує структуру АЛП.

Із проведеного в розділі аналізу робиться висновок, що існуючі методи проектування пристроїв певного класу, а саме: підсумовуючих пристроїв чисел з плаваючою комою, помножувачів та помножувачів/суматорів цілих чисел, не в повній мірі забезпечують їх швидкодію. Тому для подальшого підвищення швидкодії обчислювальних систем необхідна постійна розробка нових ефективних методів проектування даних пристроїв.

Також на основі проведеного аналізу в розділі поставлені задачі для дослідження з метою підвищення швидкодії даних пристроїв.

В другому розділі Методи структурного синтезу швидкодіючих підсумовуючих пристроїв в якості критерію ефективності спроектованих в дисертації АП запропоновано вважати їх високу швидкодію за умови прийнятих апаратних витрат.

На основі запропонованого в співавторстві табличного методу, що використовує таблиці значень розрядних індексів СФ, в розділі спроектовано М-слівний N-розрядний суматор типу MN з паралельним переносом. При цьому оригінальна таблиця значень розрядних індексів СФ для переносів Р_i, де i номер розряду, 2 i N + K; К кількість додаткових переносів, К визначається рівнянням

М = 2^К+1 К 1, (3)

складається наступним чином. В кожному рядку повинні бути такі значення розрядних індексів, що їх двійково-зважена сума дає число, в двійковому еквіваленті якого з'являється “1” в i-ому (інколи, крім того, в (i+1)-ому) розряді. Особливим випадком є СФ S = F(1, 3, ..., R), тобто часткова сума складових i-го розряду. При цьому, якщо М парне, то

R = (4)

якщо М непарне, то R = M для всіх розрядів. Функції S є функціями непарності.

Пристрій для підсумовування М N-розрядних чисел типу MN реалізує паралельний спосіб підсумовування і по числам, і по розрядам, виробляючи одночасно перенесення в усі розряди, які додаються на суматорах по модулю 2 з порозрядними сумами.

На входи перетворювачів кодів (ПК) X/Y_i i-го розряду (i = ) даного пристрою надходять коди М складових А_i. Окрім того, на ПК перших К розрядів надходять коди вхідних однорозрядних перенесень Е_i (для i К). ПК_i виробляє L_i кодів симетричних функцій, що створюють сукупність C_i, в тому числі код часткової суми S_i'. Коди C_i з виходів ПК_i одночасно надходять до відповідних входів елементів І-АБО відповідних логічних схем (ЛС). На виходах ЛС створюються коди перенесень Р в 2-й, ..., N-й розряди, а також вихідних перенесень Q в (N+1)-й, ..., (N+K)-й розряди. Коди P_i і S_i' додаються на суматорі за модулем 2 (=1), так що на його виході створюється код результуючої суми S_i даного розряду.

Розглянуто запропонований в співавторстві табличний метод синтезу трислівного багаторозрядного суматора з наскрізним перенесенням Глассера. Особливістю перенесення Глассера є його представлення двома бітами одинакової ваги C_i і C'_i. Функціонування каскаду описується модернізованою автором таблицею, в якій представлена однознача відповідність сумарної ваги складових (СВС) Q каскаду значенням його порозрядних біт суми і біт вихідних перенесень. Особливість таблиці полягає в тому, що ці значення згруповані таким чином, що при одному значенні СВС розглядається 3 варіанти кодування біт вхідного перенесення: 00, 01, 11.

В розділі запропоновано алгоритмічний метод структурного синтезу підсумовуючих пристроїв чисел з плаваючою комою, який характеризується наступними властивостями:

паралелизмом деяких мікрооперацій макрооперації підсумовування чисел з плаваючою комою;

підготовкою визначених проміжних результатів "класичної" процедури знаходження суми двійкових чисел з плаваючою комою;

вибором потрібного результату за ознакою.

В розділі запропонована низка структур підсумовуючих пристроїв чисел з плаваючою комою, спроектованих на основі даного методу.

Найбільш швидкодіючим із запропонованих підсумовуючим пристроєм двох чисел з плаваючою комою, побудованому на комбінаційних суматорах цілих чисел, є пристрій СУ1. В ньому підвищення швидкодії досягається за рахунок поєднання в часі мікрооперацій знаходження модуля вирівнюючої різниці (ВР) і підготовки усіх можливих попередніх 2n-розрядних сум мантис складових в кількості (2n + 2) (де n розрядність мантис складових). Розрахунки показують, що підсумовуючий пристрій, який розглядається, на 40 % швидше підсумовуючого пристрою ЕОМ Star100.

В розділі запропоновано таблично-алгоритмічний метод структурного синтезу підсумовуючих пристроїв чисел з плаваючою комою на основі таблиць значень попередніх сум. Даний метод полягає в:

складанні таблиць значень попередніх сум в різних кодах;

розбиванні ПЗП на блоки для зберігання таблиць (об'єм ПЗП пропорційний n 2ⁿ, де n розрядність мантис складових);

виборі необхідної попередньої суми за ознакою.

Застосування блоків ПЗП дозволяє, завдяки зберігаємих в них складених необхідним чином таблицям значень попередніх сум, розширити функціональні можливості підсумовуючого пристрою. Наприклад, в залежності від заданого режима роботи даний пристрій може виконувати одну із операцій: А В, В А (де А, В - операнди, що обробляються) як в прямому, так і в зворотному або доповняльному кодах. В даному пристрої мантиси чисел А і В надходять на перші та другі адресні входи блоків ПЗП №№ 5 (2n + 6) відповідно. Код, що встановлений на управляючих входах пристрою, дешифрується в блоці 3 та надходить на треті адресні входи всіх блоків ПЗП, задаючи таким чином режим роботи пристрою. Вибрана в блоці (2n + 7) за значенням знаку і модуля ВР попередня сума мантис в блоці (2n + 8) нормалізується і видається на вихід пристрою. В цьому ж блоці корегується і порядок результату підсумовування.

В пристрої можливе подальше секціонування блоків ПЗП з метою підвищення їх швидкодії.

Запропоновані в розділі підсумовуючі пристрої чисел з плаваючою комою порівнюються за часовими характеристиками і апаратними витратами. Так, при розрядності мантиси числа, що дорівнює 24 розрядам, і розрядності порядка числа, що дорівнює 8 розрядам, апаратні витрати, визначені за методом Квайна, у підсумовуючого пристрою СУ1 приблизно в десять разів більше, ніж у підсумовуючого пристрою ЕОМ Star100. Інші запропоновані підсумовуючі пристрої потребують менше апаратних витрат.

В просторі критеріїв “Затримка - Апаратні затрати” запропоновані пристрої розташовуються згідно з принципом оптимальності за Парето.

В третьому розділі Методи структурного синтезу швидкодіючих помножувачів і помножувачів з суміщенням операцій запропоновано удосконалений алгоритмічний метод перемноження двох цілих чисел. Він полягає в роздільному підсумовуванні у відповідних каналах матричного помножуючого блоку

часткових добутків і перенесень, що одержуються при підсумовуванні часткових добутків, а також

сум і перенесень, що формуються при підсумовуванні перенесень, в усіх рангах блоку, за винятком останнього.

В результаті можлива паралельна робота суматорів, що обробляють паралелограм часткових добутків, в усіх рангах блоку, за винятком останнього, на якому виконується кінцеве підсумовування результуючої суми часткових добутків і результуючої суми перенесень.

В розділі запропоновано алгоритмічний метод структурного синтезу швидкодіючих помножувачів, який полягає в:

декомпозиції паралелограма часткових добутків на регулярні і нерегулярні фрагменти;

обробці фрагментів відповідними багаторозрядними багатооперандними суматорами (ББС);

обробці в пристрої перенесень, що виникають при підсумовуванні чисел в ББС, також і в разі роздільного підсумовування часткових сум і перенесень, одержаних при підсумовуванні результатів на попередньому ранзі.

В даному пристрої одночасно додається до чотирьох складових, які обробляються потетрадно, а перенесення, що одержуються при додаванні операндів, підсумовуються з сумами лише в останньому блоці пристрою блоці суматорів результуючих, в інших блоках окремо від сум. На рисунку позначено: А, В 4n-розрядні множене і множник відповідно; БК блок кон'юнкторів, в якому формуються часткові добутки; СС1 блок суматорів сум 2-го рангу; СП1 блок суматорів перенесень 2-го рангу; СС2 блок сумматорів сум 3-го рангу; СП2 блок суматорів перенесень 3-го рангу; СП3 блок суматорів перенесень 4-го рангу; СР блок суматорів результуючих; F(1 : 8n) виходи пристрою помноження с 1-го по 8n-ий відповідно.

В розділі приводяться в якості прикладів структури модифікованих помножувачів 3232 (f = 3, n = 8) і 6464 (f = 4, n = 16).

Розрахунки, що наведені в розділі, показують, що пристрої помноження мають виграш у швидкодії при перемноженні двох 16-розрядних чисел, який дорівнює 10 %; при перемноженні двох 32-розрядних чисел 22 %; при перемноженні двох 64-розрядних чисел 26 % і двох 128-розрядних чисел 29 % в порівнянні з аналогічними по розрядності пристроями, спроектованими згідно з відомою швидкодіючою структурою матричного помножувача цілих чисел на основі повних однорозрядних суматорів і з стічним розповсюдженням перенесень. При цьому в блоці СР використовуються двословні суматори.

В розділі запропоновано алгоритмічний метод структурного синтезу помножувачів/суматорів, який полягає в:

декомпозиції паралелограму часткових добутків на регулярні і нерегулярні фрагменти;

обробці фрагментів відповідними ББС;

введені в паралелограм часткових добутків біт додаткового доданку;

обробці в пристрої перенесень, що виникають при підсумовуванні чисел в ББС, також і в разі роздільного підсумовування часткових сум і перенесень, одержаних при підсумовуванні результатів на попередньому ранзі.

Розширивши паралелограм часткових добутків цілих чисел 4n4n (n = 2^f, f = 1, 2, 3, ...) за рахунок введення справа біт цілого доданку С в кожен рядок, одержуємо можливість реалізувати операцію F = А В + С над цілими числами одинакової розрядності.

Розрахунки, що наведені в розділі, показують, що швидкодія запропонованого помножувача/суматора при розрядності співмножників та доданку С, яка дорівнює 64, на 19 % вища, ніж у пристрої помноження з стічним розповсюдженням перенесень тієї ж розрядності.

В розділі запропонована структура пристрою, який реалізує операцію F = (A) (B) C з цілими числами в доповняльному коді на основі (2).

Наприклад, при розрядності співмножників m = n = 5, з врахуванням знакових розрядів, одержуємо

P = А В = a₄b₄2⁸ + + 2⁴(2⁵ + 2⁴ + ₄2⁴ + b₄ + ) +

+ 2⁴(2⁵ + 2⁴ + ₄2⁴ + a₄ + ). (5)

Розрахунки, які наведені в розділі, показують, що швидкодія пристрою, який реалізує функцію F = (A) (B) C над цілими числами в доповняльному коді і при умові, що А = В = 65 розрядів, включаючи знаковий, а С = 130 розрядів (подвійний формат), вища швидкодії помножувача із стічним розповсюдженням перенесень при перемножуванні цим помножувачем цілих чисел в доповняльному коді розрядністю, яка дорівнює 64, на 21 %.

Операція F = (A) (B) C достатньо універсальна. Так, її частковий випадок F = (+A) (+1) C є фрагментом макрооперацій ділення та добутку квадратного кореня.

Розрахунки також показують, що пристрої помноження, що спроектовані згідно зі структурою мають виграш у швидкодії при перемноженні двох 16-розрядних чисел, який дорівнює 13 %; при перемноженні двох 32-розрядних чисел 15 %; при перемноженні двох 64-розрядних чисел 14 % і двох 128-розрядних чисел 11 % в порівнянні з аналогічними по розрядності пристроями, спроектованими згідно зі структурою матричного помножувача з логарифмічною характеристикою (1). При цьому в блоці СР використовуються суматори 44 і структури АЛП з паралельним перенесенням.

Швидкодія спроектованих на основі запропонованих методів помножувачів та помножувачів/суматорів цілих чисел в порівнянні з класичними матричними помножувачами зростає тому, що

а) час обчислення ББС, що використовуються в нових пристроях, дорівнює О(log₂n), на відміну від однорозрядного повного суматора, час обчислення котрого дорівнює О(n) (де n розрядність співмножників);

б) використання великого числа операндів зменшує число рангів в структурі пристрою, що також приводить до збільшення швидкодії.

Апаратні витрати при проектуванні запропонованих помножувачів і помножувачів/суматорів можуть бути розраховані з частковим використанням формул, що визначають швидкодію даних пристроїв.

Так, число підрангів в блоці СС1 визначається як

= 1 + log₄n, (6)

де n розрядність співмножників.

Загальне число підрангів в блоці СП1 дорівнює = 1. При f = 1, 3, 5,… на виході S блока СС1 формуються дві результуючі суми, вони підсумовуються на лінійці суматорів єдиного підрангу блока СС2 та обробляються потетрадно. При f = 2, 4, 6, … на виході S блока СС1 формується одна результуюча сума, вона передається на вихід S блока СС2 без змін. Усі перенесення і суми перенесень, що надходять на входи блока СП2, підсумовуються в ньому на лінійці суматорів єдиного підрангу. При f = 1, 3, 5, … число підрангів в блоці СП3 дорівнює = 2; при f = 2, 4, 6, …. = 3. В блоці СР число підрангів дорівнює двом. Далі визначається число паралельно функціонуючих лінійок суматорів в кожному підранзі перелічених блоків і число суматорів 44, що обробляють тетради даних, в кожній лінійці суматорів. Загальне число суматорів 44, з врахуванням апаратних витрат блока БК, і визначає апаратні витрати помножувачів і помножувачів/суматорів, що розглядаються.

В четвертому розділі Моделювання підсумовуючих пристроїв чисел з плаваючою комою в середовищі active - hdl, їх верифікація та оцінка параметрів запропоновано Verilog - опис функціональної моделі підсумовуючого пристрою двох чисел A і B з плаваючою комою на вищому рівні абстракції Adder_With_Floating_Comma.

Теоретичні дослідження в другому розділі дисертації показали, що пристрій повинен мати на 40 % більшу швидкодію проти підсумовуючого пристрою ЕОМ Star100. Для підтвердження результатів дослідження в четвертому розділі проводиться моделювання даних підсумовуючих пристроїв в середовищі Active - HDL. Одержані при цьому часові характеристики порівнюються між собою.

В якості першого пристрою для моделювання і структурної декомпозиції моделі Adder_With_Floating_Comma в розділі розглянуто підсумовуючий пристрій чисел з плаваючою комою СУ2, який реалізує процедуру підсумовування шляхом послідовного виконання в часі мікрооперацій “класичної” макрооперації підсумовування, аналогічно ЕОМ Star100. Тут Рг1, Рг2 регістри 1, 2 доданків А, В відповідно; ВП блок віднімання порядків; К1, К2 блоки комутаторів 1, 2; Ф блок формувача модуля різниці порядків (ВР); ДН блок денормалізації; СМ блок суматорів мантис; Н блок нормалізації; m_а, m_b, m_с мантиси чисел А, В, С відповідно; Р_а, Р_b, Р_с порядки чисел А, В, С відповідно; СИ синхроімпульси (CLK).

Перед синтезом і моделюванням функціональної моделі пристрою СУ2, була створена бібліотека функціональних моделей всіх блоків, що входять до його складу. Із Verilog - описів функціональних моделей блоків пристрою СУ2 з використанням оголошених сигналів формуєтся Verilog - опис функціональної моделі пристрою СУ2.

Тут інформація представлена в шістнадцятирічному коді: m_а (Ma_In) = 96, Р_а (Pa_In) = 3, m_b (Mb_In) = 96, Р_b (Pb_In) = 1, m_c (MRes_Out) = BB, P_c (PRes_Out) = 3.

Пристрій СУ2 запускається переднім фронтом синхросигналу CLK (на діаграмі позначений вертикальною лінією), і із часової діаграми випливає, що час спрацьовування СУ2 дорівнює: 430 - 150 = 280 (нс).

Порівняння часів затримок пристроїв СУ2 і СУ3 показує, що пристрій СУ3 приблизно на 35 % швидше підсумовуючого пристрою СУ2.

Таким чином, одержані результати моделювання розглянутих підсумовуючих пристроїв підтверджують вірність розрахунків часових параметрів підсумовуючих пристроїв, представлених в другому розділі.

Створені Verilog - описи функціональних моделей блоків для функціональних моделей пристроїв СУ2 і СУ3 можуть застосовуватися для формування Verilog - описів різних інших функціональних моделей підсумовуючих пристроїв.

Висновки

В дисертаційній роботі досліджені та проаналізовані існуючі методи проектування цифрових операційних пристроїв; розроблені методи структурного синтезу арифметичних пристроїв цифрової обчислювальної техніки, які забезпечують підвищення їх швидкодії. При цьому одержані наступні основні результати.

Розроблені нові алгоритмічний і табличноалгоритмічний методи структурного синтезу підсумовуючих пристроїв чисел з плаваючою комою, що удосконалюють “класичну” макрооперацію підсумовування чисел з плаваючою комою, і дозволяють отримувати підсумовуючі пристрої більш високої швидкодії і з додатковими функціональними можливостями. Так, в порівнянні з відомими рішеннями запропоновані підсумовуючі пристрої мають виграш в швидкодії до 40 %. Пристрої за авторськими свідоцтвами № 1290300 “Устройство для суммирования двух чисел с плавающей запятой” і № 1348825 “Устройство для суммирования чисел с плавающей запятой” упроваджено на підприємстві п/с Р6533.

2. Розроблені нові алгоритмічні методи структурного синтезу помножувачів і помножувачів/суматорів на основі використання багаторозрядних багатооперандних суматорів різних структур. Швидкодія синтезованих на основі даних методів помножувачів цілих чисел в порівнянні з класичним матричним помножувачем зростає на 15 %.

3. Удосконалено алгоритмічний метод перемноження двох цілих чисел на основі роздільного підсумовування часткових сум і перенесень, одержаних при підсумовуванні результатів на попередньому ранзі.

4. Синтезовані нові швидкодіючі структури суматорів цілих чисел і підсумовуючих пристроїв чисел з плаваючою комою. Запропоновані підсумовуючі пристрої чисел з плаваючою комою розташовуються за часовими характеристиками і апаратними витратами згідно з принципом Парето.

5. Синтезовані нові швидкодіючі структури помножувачів і помножувачів/суматорів цілих чисел, побудованих на базі ББС різних структур. Апаратні витрати при синтезі запропонованих помножувачів і помножувачів / суматорів можуть бути розраховані з частковим використанням формул, які визначають швидкодію даних пристроїв.

6. Створена низка функціональних моделей на мові Verilog структур підсумовуючих пристроїв чисел з плаваючою комою різного рівня абстракції з метою їх моделювання і визначення основних характеристик за швидкодією і апаратними витратами. Підтверджена вірність розрахунків часових параметрів підсумовуючих пристроїв, представлених у другому розділі.

7. Розглянуті в дисертації підсумовуючі пристрої, помножувачі і помножувачі/суматори, виконані у вигляді ПЛІС, можуть знайти широке застосування при проектуванні засобів цифрової обчислювальної техніки, зокрема, в спецпроцесорах, що виконують швидке перетворення Фур'є. Вони можуть бути також вбудовані в мікропроцесори, що підвищить швидкодію останніх.

8. Розроблені алгоритмічні методи структурного синтезу помножувачів і помножувачів/суматорів можуть бути використані для проектування пристроїв помноження і помноження/підсумовування чисел з фіксованою комою.

9. Основні положення, виводи та рекомендації, що наведені у дисертаційній роботі, планується використати в НДЕКР по розробці та створенню програмно-технічних комплексів на ВАТ “Елемент”, та використовуються у навчальному процесі ОНПУ в дисципліні “Паралельні обчислювальні процеси”, що викладається на кафедрі “Системне програмне забезпечення” для студентів фаху 8.080403 “Програмне забезпечення автоматизованих систем”.

Список опублікованих автором праць за темою дисертації

Паулин О.Н., Ляховецкий А.М., Синегуб Н.И. Повышение быстродействия комбинационных умножителей // Тр. Одес. политехн. ун-та. Одесса, 1996. №2. С. 17 18.

Паулин О.Н., Синегуб Н.И. Построение быстродействующего умножителя на базе многооперандных сумматоров // Тр. Одес. политехн. ун-та. Одесса. 2000. №1. С. 119 123.

Паулин О.Н., Синегуб Н.И., Квятковский Р.С. Метод и средства проектирования структур быстродействующих устройств умножения // Тр. Одес. политехн. ун-та. Одесса, 2001. №4. С. 100 104.

Синегуб Н.И. Сумматоры чисел с плавающей запятой // Тр. Одес. политехн. ун-та. Одесса, 2004. №1. С. 96 99.

Паулин О.Н., Шапо Ф.С., Синегуб Н.И. Модель сумматора с параллельным выполнением микроопераций // Технология и конструирование в электронной аппаратуре. Одесса, 2005. №2. С. 17 20.

Паулин О.Н., Синегуб Н.И., Шапо Ф.С. О повышении эффективности сумматоров/вычитателей // Методы исследования и проектирования сложных технических систем. Сборник статей. М.: МГТУ, 1993. № 564. С. 81 86.

Паулин О.Н., Синегуб Н.И. О некоторых способах повышения быстродействия сумматоров/вычитателей с плавающей запятой / Одесский государственный политехнический университет. Одесса, 1997. Деп. в ГНТБ Украины 28.07.97, № 441. Ук97.

Паулин О.Н., Полин Е.Л., Синегуб Н.И. Вопросы построения быстродействующих структур сумматоров/вычитателей на базе ФМ-языка // Придніпровський науковий вісник. Технічні науки. Дніпропетровськ, 1998. №55 (122). С. 86 90.

Паулин О.Н., Синегуб Н.И., Ляховецкий А.М. Построение быстродействующих устройств умножения на основе многооперандных сумматоров // Автоматика - 2000. Міжнародна конференція з автоматичного управління, Львів, 11 - 15 вересня 2000: Праці в 7-ми томах. ѕ Т. 7. ѕ Львів: Державний НДІ інформаційної інфраструктури, 2000. ѕ С. 167 ѕ 173.

Паулин О.Н., Синегуб Н.И. Метод и средства проектирования быстродействующих умножителей // Матеріали міжнародної конференції з управління “Автоматика - 2001”. Том другий. ѕ Одеса: ОДПУ, 2001. ѕ С. 117 ѕ 118.

Синегуб Н.И. Синтез устройств умножения/суммирования // Матеріали міжнародної науково-практичної конференції “Розвиток наукових досліджень “2005””, 7-9 листопада 2005 р. Том восьмий. Полтава: “ІнтерГрафіка”, 2005. С. 76 80.

А. с. 1290300 СССР, МКИ G 06 F 7/50. Устройство для суммирования двух чисел с плавающей запятой / В.А. Минченко, О.Н. Паулин, Е.Л. Полин, В.В. Шабадаш, Н.И. Синегуб. №3875082; Заявлено 26.03.85; Опубл. 15.02.87, Бюл. №6. 3 с.

А. с. 1348825 СССР, МКИ G 06 F 7/50. Устройство для суммирования чисел с плавающей запятой / А.В. Дрозд, О.Н. Паулин, Е.Л. Полин, Н.И. Синегуб. №4047238; Заявлено 08.01.86; Опубл. 30.10.87, Бюл. №40. 4 с.

А. с. 1545216 СССР, МКИ G 06 F 7/50. Устройство для суммирования M чисел / О.Н. Паулин, Э.В. Полянский, Н.И. Синегуб, М.В. Шуликов. -- №4211885; Заявлено 05.02.87; Опубл. 23.02.1990; Бюл. №7. 8 с.

А. с. 1667056 СССР, МКИ G 06 F 7/50. Устройство для суммирования-вычитания чисел с плавающей запятой / О.Н. Паулин, Н.И. Синегуб. №4735415; Заявлено 14.07.89; Опубл. 30.07.91, Бюл. №28. 3 с.

А. с. 1833864 СССР, МКИ G 06 F 7/50. Устройство для суммирования чисел в дополнительном коде с плавающей запятой / А.В. Дрозд, О.Н. Паулин, Н.И. Синегуб. №4913672; Заявлено 20.02.91; Опубл. 15.08.93, Бюл. №30. 4 с.

Патент 94023276 України, МКІ G 06 F 7/50. Пристрій для підсумовування трьох n-розрядних операндів / Паулін О.М., Ляховецький О.М., Синегуб М.І.; Спеціальне проектно-конструкторське бюро "Діскрет" при Одеському державному політехнічному університеті. №23235А; Заявл. 14.02.94; Опубл. 31.08.98; Бюл. №4. 6 с.

Патент 95020532 України, МКІ G 06 F 7/50. Пристрій для підсумовування двох чисел з плаваючою комою / Паулін О.М., Синегуб М.І.; Одеський державний політехнічний університет. №23372А; Заявл. 07.02.95; Опубл. 31.08.98; Бюл. №4. 1 с.

Патент 96041738 України, МКІ G 06 F 7/50. Пристрій визначення значень бітів знака результату підсумовування трьох чисел у доповняльному коді / Паулін О.М., Ляховецький О.М., Синегуб М.І.; Паулін О.М., Ляховецький О.М., Синегуб М.І. №41377; Заявл. 30.04.96; Опубл. 17.09.01; Бюл. №8. 3 с.

Патент 96051762 України, МКІ G 06 F 7/50. Пристрій підсумовування двох чисел з плаваючою комою / Паулін О.М., Ляховецький О.М., Синегуб М.І.; Паулін О.М., Ляховецький О.М., Синегуб М.І. №41379; Заявл. 05.05.96; Опубл. 17.09.01; Бюл. №8. 1 с.

Патент 99116224 України, МКІ G 06 F 7/52. Швидкодіючий помножувач / Паулін О.М., Синегуб М.І.; Одеський державний політехнічний університет. №47521; Заявл. 16.11.99; Опубл. 15.07.02; Бюл. №7. 7 с.

Анотація

Синегуб М.І. Методи структурного синтезу базових арифметичних функціональних пристроїв з підвищеною швидкодією. Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 -- Елементи та пристрої обчислювальної техніки та систем керування. Одеський національний політехнічний університет, Одеса, 2007 р.

Дисертація присвячена розробці нових та удосконаленню відомих методів виконання арифметичних операцій і методів структурного синтезу арифметичних пристроїв цифрової обчислювальної техніки, а саме: підсумовуючих пристроїв чисел з плаваючою комою, помножувачів і помножувачів/суматорів на базі багаторозрядних багатооперандних суматорів різних структур, що підвищують швидкодію даних пристроїв.

Розроблені нові алгоритмічний і табличноалгоритмічний методи структурного синтезу підсумовуючих пристроїв чисел з плаваючою комою, що дозволяють синтезувати підсумовуючі пристрої високої швидкодії, а також з розширеними функціональними можливостями. Так, в порівнянні з відомими рішеннями швидкодія у запропонованих підсумовуючих пристроях може бути збільшена до 40 %. Пристрої за авторськими свідоцтвами № 1290300 “Устройство для суммирования двух чисел с плавающей запятой” і № 1348825 “Устройство для суммирования чисел с плавающей запятой” упроваджено на підприємстві п/с Р6533.

Подальший розвиток набув метод перемноження двох цілих чисел на основі роздільного підсумовування на кожному ранзі, окрім останнього, сум і перенесень, одержаних при підсумовуванні результатів на попередньому ранзі.

Розроблені нові алгоритмічні методи структурного синтезу помножувачів і помножувачів/суматорів на основі використання багаторозрядних багатооперандних суматорів різних структур. Швидкодія синтезованих на основі даних методів помножувачів цілих чисел в залежності від розрядності операндів може збільшитися до 15 % в порівнянні з відомими рішеннями. Апаратні витрати при синтезі запропонованих помножувачів і помножувачів/суматорів можуть бути розраховані з частковим використанням формул, які визначають швидкодію даних пристроїв.

Сформована низка функціональних моделей на мові Verilog структур підсумовуючих пристроїв чисел з плаваючою комою різного рівня абстракції з метою їх моделювання і визначення основних характеристик за швидкодією і апаратними витратами.

Ключові слова: алгоритмічні методи проектування; таблично алгоритмічні методи проектування; табличні методи проектування; підсумовуючі пристрої чисел з плаваючою комою; помножувачі цілих чисел; помножувачі/суматори цілих чісел; багаторозрядні багатооперандні суматори; Verilog - опис функціональної моделі.

Summary

Sinegub N.I. Structural synthesis methods of the basic arithmetical functional high performance devices. Manuscript.

The thesis for a scientific degree of the candidate of technical sciences on specialty 05.13.05 Elements and computing devices and control systems. The Odessa National Polytechnic University, Odessa, 2007.

Dissertation is devoted to the design of new enhancing known methods of processing arithmetical operations and structural synthesis methods of arithmetical devices of digital computing namely adding devices of numbers with floating comma, multipliers / adders on the basis of multicarry and multioperand adders of different structures, increasing high performance of these devices.

New algorithmic and table algorithmic methods structural synthesis of adding devices of numbers with floating comma permitting synthesize adding high performance devices and also ones with improved functional possibilities have been developed. Thus, high performance of the offered adding devices may be increased up to 40 % in comparison with the known solutions.

The method of multiplication of two integers on the basis of separate adding sums and carry digits in each layer but the last, received on adding results on previous layer obtained further development.

New algorithmic methods of structural synthesis of multipliers and multipliers / adders on the basis of using multicarry and multioperand adders of different structures have been developed. High performance of the multipliers of integers synthesized on the basis of these methods in dependence of the operand capacity may be increased up to 15 % in comparison with the known solutions. Apparatus expenses on the synthesis of offered multipliers and multipliers/adders may be computed with partly using formulae defining high performance of these devices.

A series of functional models of structures of adding devices of numbers with floating comma of different level of abstraction in the language Verilog on purpose of their modeling and defining basic characteristic on high performance and apparatus expenses has been formed.

Key words: algorithmic methods of design; table algorithmic methods of design; table methods of design; adding devices of numbers with floating comma; multipliers of integers; multipliers/adders of integers; multicarry and multioperand adders; Verilog is a description of functional model.

Аннотация

Синегуб Н.И. Методы структурного синтеза базовых арифметических функциональных устройств с повышенным быстродействием. Рукопись.

Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.05 Элементы и устройства вычислительной техники и систем управления. Одесский национальный политехнический университет, Одесса, 2007 г.

Диссертация посвящена разработке новых и усовершенствованию известных методов выполнения арифметических операций и методов структурного синтеза арифметических устройств цифровой вычислительной техники, а именно: суммирующих устройств чисел с плавающей запятой, умножителей целых чисел и умножителей/сумматоров, совмещающих функции умножения, суммирования и вычитания целых чисел одинаковой разрядности как в прямом, так и в дополнительном кодах на базе многоразрядных многооперандных сумматоров различных структур, повышающих быстродействие данных устройств.

Разработаны новые алгоритмический и табличноалгоритмический методы структурного синтеза суммирующих устройств чисел с плавающей запятой, усовершенствующие “классическую” макрооперацию суммирования чисел с плавающей запятой, и позволяющие синтезировать суммирующие устройства высокого быстродействия, у которых быстродействие может быть увеличено до 40 % в сравнении с известными решениями, а также с расширенными функциональными возможностями на основе таблиц значений предварительных сумм.

Синтезированы новые быстродействующие структуры сумматоров целых чисел и суммирующих устройств чисел с плавающей запятой. При этом за основу берется алгоритмизация различных вариантов операций суммирования на базе распараллеливания микроопераций, предварительной подготовки результатов, с использованием аппарата симметрических функций. Устройства по авторским свидетельствам № 1290300 “Устройство для суммирования двух чисел с плавающей запятой” и № 1348825 “Устройство для суммирования чисел с плавающей запятой” внедрены на предприятии п/я Р6533.

Дальнейшее развитие получил метод перемножения двух целых чисел на основе раздельного суммирования на каждом ранге, кроме последнего, сумм и переносов, полученных при суммировании результатов на предыдущем ранге.

Разработаны новые алгоритмические методы структурного синтеза умножителей и умножителей/сумматоров на основе использования многоразрядных многооперандных сумматоров различных структур. Быстродействие синтезированных на основе данных методов умножителей целых чисел по сравнению с классическим матричным умножителем возрастает на 15 %.

Синтезированы новые быстродействующие структуры умножителей и умножителей/сумматоров целых чисел, построенных на базе многоразрядных многооперандных сумматоров различных структур. Аппаратные затраты предложенных умножителей и умножителей/сумматоров могут быть рассчитаны с частичным использованием формул, определяющих быстродействие данных устройств.

Сформирован ряд функциональных моделей на языке Verilog структур суммирующих устройств чисел с плавающей запятой разного уровня абстракции с целью их моделирования и определения основных характеристик по быстродействию и аппаратным затратам.

Основные положения, выводы и рекомендации, приведенные в диссертационной работе, планируется использовать в НИОКР по разработке и созданию программно-технических комплексов на ОАО “Элемент”, и используются в учебном процессе ОНПУ в дисциплине “Параллельные вычислительные процессы”, которая читается на кафедре системного программного обеспечения для студентов по специальности 8.080403 “Программное обеспечение автоматизированных систем”.

Ключевые слова: алгоритмические методы проектирования; таблично алгоритмические методы проектирования; табличные методы проектирования; суммирующие устройства чисел с плавающей запятой; умножители целых чисел; умножители/сумматоры целых чисел; многоразрядные многооперандные сумматоры; Verilog - описание функциональной модели.

Размещено на Allbest.ru

...