Публікація: Мультиверсний паралельний синтез цифрових структур на основі SystemC специфікації
Завантаження...
Дата
2017
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Мета дисертаційного дослідження суттєве зменшення часу проектування обчислювальних архітектур і підвищення якості цифрових виробів шляхом мультиверсного синтезу структури цифрового виробу на основі заданої специфікації в середовищі SystemC (С++) і автоматичному підборі функціональних компонентів за рахунок паралельного синтезу і верифікації архітектурних рішень системного рівня відповідно до запропонованої метрики. Основні результати: 1) Вперше запропоновано метод синтезу інтерфейсних структур і протоколів виконання транзакцій RT-рівня на основі аналізу специфікації SoC-архітектури системного рівня, який характеризується використанням двобічної стандартної шини Wishbone обміну даними між функціональними модулями, що дозволяє здійснювати мультиверсне створення компонентів цифрових систем на кристалах. 2) Вперше запропоновано метод синтезу RTL-моделей функціональностей, який характеризується однозначним перетворенням С++ і SystemC-описів цифрових блоків системного рівня в алгоритми і структури даних автоматної моделі Мура, заданої синтезованою підмножиною мовних конструкцій VHDL, що дає можливість істотно зменшити час виконання процесів проектування, тестування і верифікації. 3) Удосконалено структури даних для опису функціональних примітивів системного рівня, які відрізняються орієнтацією на використання семантичних і синтаксичних конструкцій мови С ++ і SystemC, що дозволяє здійснювати паралельний синтез і верифікацію архітектурних рішень. 4) Удосконалено метод мультиверсного синтезу керуючих і операційних автоматів, орієнтованих на архітектурні рішення в метриці, що відрізняється мінімальним часом виконання функціональності за рахунок розпаралелювання операцій при обмеженні на апаратні витрати. digital system-on-chip. The goal of the investigation is significantly reducing the time for designing computing architectures and improving the quality of digital products by way of multiversion synthesis of a digital product structure based on a specified specification in SystemC (C++) environment, and automatically selecting functional components through the parallel synthesis and verification of architectural solutions of the system level in accordance with the proposed metric. Main results are the following: 1) a new method for synthesizing interface structures and RT-level transaction protocols is proposed; it is based on the analysis of the SoC system-level architecture specification, which is characterized by using a two-sided standard Wishbone data bus between functional modules, which allows the multiversion creating components of a digital system-on-chip; 2) a new method for synthesizing RTL-models of functionalities is proposed that is characterized by one-valued transformation of C++ and SystemC-descriptions of digital blocks of the system level into algorithms and data structures of the Moore automaton model defined by a synthesized subset of VHDL descriptions, which makes it possible to significantly reduce the time of designing, testing and verification; 3) data structures for the description of functional primitives of the system level have been improved, which differ using semantic and syntactic constructions of C++ and SystemC, which allows performing parallel synthesis and verification of architectural solutions; 4) a method of multiversion synthesis of control and operational automata focused on architectural solutions in the metric is improved, which is characterized by a minimum time for operating a functionality through parallel executing the operations with a limitation on hardware costs.
Опис
Ключові слова
мультиверсний синтез, спецификація, інтерфейсні структури, операційний пристрій, верифікація, цифрові системи на кристалах, multiversion synthesis, specification, interface structure, operating device, verification, digital system-on-chip
Бібліографічний опис
Обрізан, В. І. Мультиверсний паралельний синтез цифрових структур на основі SystemC специфікації : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні систм та компоненти" / В. І. Обрізан ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2017. – 23 с.