Пошук академічних текстів

Інформація × Реєстраційний номер 0417U003692, Кандидатська дисертація На здобуття к.т.н. Дата захисту 05-07-2017 Статус Запланована Назва роботи Мультиверсний паралельний синтез цифрових структур на основі SystemC специфікації Здобувач Обрізан Володимир Ігорович, Керівник Хаханов Володимир Іванович Опонент Мірошник Марина Анатоліївна Опонент Хажмурадов Манап Ахмадович Опис Мета дисертаційного дослідження - суттєве зменшення часу проектування обчислювальних архітектур і підвищення якості цифрових виробів шляхом мультіверсного синтезу структури цифрового виробу на основі заданої специфікації в середовищі SystemC (С++) і автоматичному підборі функціональних компонентів за рахунок паралельного синтезу і верифікації архітектурних рішень системного рівня відповідно до запропонованої метрики. Основні результати: 1) Вперше запропоновано метод синтезу інтерфейсних структур і протоколів виконання транзакцій RT-рівня на основі аналізу специфікації SoC-архітектури системного рівня, який характеризується використанням двобічної стандартної шини Wishbone обміну даними між функціональними модулями, що дозволяє здійснювати мультиверсне створення компонентів цифрових систем на кристалах. 2) Вперше запропоновано метод синтезу RTL-моделей функціональностей, який характеризується однозначним перетворенням С++ і SystemC-описів цифрових блоків системного рівня в алгоритми і структури даних автоматної моделі Мура, заданої синтезованою підмножиною мовних конструкцій VHDL, що дає можливість істотно зменшити час виконання процесів проектування, тестування і верифікації. 3) Удосконалено структури даних для опису функціональних примітивів системного рівня, які відрізняються орієнтацією на використання семантичних і синтаксичних конструкцій мови С ++ і SystemC, що дозволяє здійснювати паралельний синтез і верифікацію архітектурних рішень. 4) Удосконалено метод мультиверсного синтезу керуючих і операційних автоматів, орієнтованих на архітектурні рішення в метриці, що відрізняється мінімальним часом виконання функціональності за рахунок розпаралелювання операцій при обмеженні на апаратні витрати. Дата реєстрації 2017-07-05 Додано в НРАТ 2020-04-03 Закрити