Обрізан В. І. Мультиверсний паралельний синтез цифрових структур на основі SystemC специфікації

Мета дисертаційного дослідження - суттєве зменшення часу проектування обчислювальних архітектур і підвищення якості цифрових виробів шляхом мультіверсного синтезу структури цифрового виробу на основі заданої специфікації в середовищі SystemC (С++) і автоматичному підборі функціональних компонентів за рахунок паралельного синтезу і верифікації архітектурних рішень системного рівня відповідно до запропонованої метрики. Основні результати: 1) Вперше запропоновано метод синтезу інтерфейсних структур і протоколів виконання транзакцій RT-рівня на основі аналізу специфікації SoC-архітектури системного рівня, який характеризується використанням двобічної стандартної шини Wishbone обміну даними між функціональними модулями, що дозволяє здійснювати мультиверсне створення компонентів цифрових систем на кристалах. 2) Вперше запропоновано метод синтезу RTL-моделей функціональностей, який характеризується однозначним перетворенням С++ і SystemC-описів цифрових блоків системного рівня в алгоритми і структури даних автоматної моделі Мура, заданої синтезованою підмножиною мовних конструкцій VHDL, що дає можливість істотно зменшити час виконання процесів проектування, тестування і верифікації. 3) Удосконалено структури даних для опису функціональних примітивів системного рівня, які відрізняються орієнтацією на використання семантичних і синтаксичних конструкцій мови С ++ і SystemC, що дозволяє здійснювати паралельний синтез і верифікацію архітектурних рішень. 4) Удосконалено метод мультиверсного синтезу керуючих і операційних автоматів, орієнтованих на архітектурні рішення в метриці, що відрізняється мінімальним часом виконання функціональності за рахунок розпаралелювання операцій при обмеженні на апаратні витрати.