Search academic texts

Information × Registration Number 0417U003692, Candidate dissertation Status к.т.н. Date 05-07-2017 popup.evolution o Title Multiversion parallel synthesis of digital structures based on SystemC specification Author Obrizan Volodymyr Ihorovych, popup.head Hahanov Vladimir Ivanovich popup.opponent Мірошник Марина Анатоліївна popup.opponent Хажмурадов Манап Ахмадович Description Мета дисертаційного дослідження - суттєве зменшення часу проектування обчислювальних архітектур і підвищення якості цифрових виробів шляхом мультіверсного синтезу структури цифрового виробу на основі заданої специфікації в середовищі SystemC (С++) і автоматичному підборі функціональних компонентів за рахунок паралельного синтезу і верифікації архітектурних рішень системного рівня відповідно до запропонованої метрики. Основні результати: 1) Вперше запропоновано метод синтезу інтерфейсних структур і протоколів виконання транзакцій RT-рівня на основі аналізу специфікації SoC-архітектури системного рівня, який характеризується використанням двобічної стандартної шини Wishbone обміну даними між функціональними модулями, що дозволяє здійснювати мультиверсне створення компонентів цифрових систем на кристалах. 2) Вперше запропоновано метод синтезу RTL-моделей функціональностей, який характеризується однозначним перетворенням С++ і SystemC-описів цифрових блоків системного рівня в алгоритми і структури даних автоматної моделі Мура, заданої синтезованою підмножиною мовних конструкцій VHDL, що дає можливість істотно зменшити час виконання процесів проектування, тестування і верифікації. 3) Удосконалено структури даних для опису функціональних примітивів системного рівня, які відрізняються орієнтацією на використання семантичних і синтаксичних конструкцій мови С ++ і SystemC, що дозволяє здійснювати паралельний синтез і верифікацію архітектурних рішень. 4) Удосконалено метод мультиверсного синтезу керуючих і операційних автоматів, орієнтованих на архітектурні рішення в метриці, що відрізняється мінімальним часом виконання функціональності за рахунок розпаралелювання операцій при обмеженні на апаратні витрати. Registration Date 2017-07-05 popup.nrat_date 2020-04-03 Close