Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах

Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах

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

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Кибернетика и системный анализ
Дата:2020
Автори: Летичевський, О.О., Песчаненко, В.С., Харченко, В.С., Волков, В.А., Одарущенко, О.М.
Формат: Стаття
Мова:Ukrainian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2020
Теми:
Кібернетика
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/190448
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах / О.О. Летичевський, В.С. Песчаненко, В.С. Харченко, В.А. Волков, О.М. Одарущенко // Кибернетика и системный анализ. — 2020. — Т. 56, № 5. — С. 29–37. — Бібліогр.: 25 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-190448
record_format dspace
spelling Летичевський, О.О.
Песчаненко, В.С.
Харченко, В.С.
Волков, В.А.
Одарущенко, О.М.
2023-06-08T15:06:26Z
2023-06-08T15:06:26Z
2020
Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах / О.О. Летичевський, В.С. Песчаненко, В.С. Харченко, В.А. Волков, О.М. Одарущенко // Кибернетика и системный анализ. — 2020. — Т. 56, № 5. — С. 29–37. — Бібліогр.: 25 назв. — укр.
1019-5262
https://nasplib.isofts.kiev.ua/handle/123456789/190448
004.05, 004.42
Розглянуто сучасні тенденції в галузі автоматизованого розроблення апаратного забезпечення, зокрема, розроблення цифрових систем з використанням програмованих логічних інтегральних схем на прикладі програмованих користувачем вентильних матриць. Запропоновано модельний метод розроблення, в якому використано алгебраїчну модель специфікацій дизайну, вимог та бінарного коду для застосування формальних методів верифікації, модельного тестування та методів алгебраїчного зіставлення. Специфікаціями алгебраїчної моделі апаратного забезпечення слугує алгебра поведінок, визначена на множині дій та поведінок.
Рассмотрены современные тенденции в области автоматизированной разработки аппаратного обеспечения, в частности разработки цифровых систем с использованием программируемых логических интегральных схем на примере вентильних матриц, программируемых пользователем. Предложен модельный метод разработки, в котором использована алгебраическая модель спецификаций дизайна, требований и бинарного кода для применения формальных методов верификации, модельного тестирования и методов алгебраического сопоставления. В качестве спецификаций алгебраической модели аппаратного обеспечения служит алгебра поведений, определенная на множестве действий и поведений.
The paper considers the current trends in the field of automated hardware development, in particular, the development of digital systems using programmable logic integrated circuits on the example of FPGA (Field-Programmable Gate Array). A model-driven development method is proposed that uses an algebraic model of design specifications, requirements, and binary code to apply formal verification methods, model testing, and algebraic matching methods. The specifications of an algebraic hardware model is a behavior algebra defined over set of actions and behaviors.
uk
Інститут кібернетики ім. В.М. Глушкова НАН України
Кибернетика и системный анализ
Кібернетика
Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
Модельный способ разработки алгоритмов цифровых систем на программируемых логических интегральных схемах
Model-driven development of digital system algorithms on programmable logic integrated circuits
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
spellingShingle Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
Летичевський, О.О.
Песчаненко, В.С.
Харченко, В.С.
Волков, В.А.
Одарущенко, О.М.
Кібернетика
title_short Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
title_full Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
title_fullStr Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
title_full_unstemmed Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
title_sort модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
author Летичевський, О.О.
Песчаненко, В.С.
Харченко, В.С.
Волков, В.А.
Одарущенко, О.М.
author_facet Летичевський, О.О.
Песчаненко, В.С.
Харченко, В.С.
Волков, В.А.
Одарущенко, О.М.
topic Кібернетика
topic_facet Кібернетика
publishDate 2020
language Ukrainian
container_title Кибернетика и системный анализ
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Модельный способ разработки алгоритмов цифровых систем на программируемых логических интегральных схемах
Model-driven development of digital system algorithms on programmable logic integrated circuits
description Розглянуто сучасні тенденції в галузі автоматизованого розроблення апаратного забезпечення, зокрема, розроблення цифрових систем з використанням програмованих логічних інтегральних схем на прикладі програмованих користувачем вентильних матриць. Запропоновано модельний метод розроблення, в якому використано алгебраїчну модель специфікацій дизайну, вимог та бінарного коду для застосування формальних методів верифікації, модельного тестування та методів алгебраїчного зіставлення. Специфікаціями алгебраїчної моделі апаратного забезпечення слугує алгебра поведінок, визначена на множині дій та поведінок. Рассмотрены современные тенденции в области автоматизированной разработки аппаратного обеспечения, в частности разработки цифровых систем с использованием программируемых логических интегральных схем на примере вентильних матриц, программируемых пользователем. Предложен модельный метод разработки, в котором использована алгебраическая модель спецификаций дизайна, требований и бинарного кода для применения формальных методов верификации, модельного тестирования и методов алгебраического сопоставления. В качестве спецификаций алгебраической модели аппаратного обеспечения служит алгебра поведений, определенная на множестве действий и поведений. The paper considers the current trends in the field of automated hardware development, in particular, the development of digital systems using programmable logic integrated circuits on the example of FPGA (Field-Programmable Gate Array). A model-driven development method is proposed that uses an algebraic model of design specifications, requirements, and binary code to apply formal verification methods, model testing, and algebraic matching methods. The specifications of an algebraic hardware model is a behavior algebra defined over set of actions and behaviors.
issn 1019-5262
url https://nasplib.isofts.kiev.ua/handle/123456789/190448
citation_txt Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах / О.О. Летичевський, В.С. Песчаненко, В.С. Харченко, В.А. Волков, О.М. Одарущенко // Кибернетика и системный анализ. — 2020. — Т. 56, № 5. — С. 29–37. — Бібліогр.: 25 назв. — укр.
work_keys_str_mv AT letičevsʹkiioo modelʹniisposíbrozroblennâalgoritmívcifrovihsistemnaprogramovanihlogíčnihíntegralʹnihshemah
AT pesčanenkovs modelʹniisposíbrozroblennâalgoritmívcifrovihsistemnaprogramovanihlogíčnihíntegralʹnihshemah
AT harčenkovs modelʹniisposíbrozroblennâalgoritmívcifrovihsistemnaprogramovanihlogíčnihíntegralʹnihshemah
AT volkovva modelʹniisposíbrozroblennâalgoritmívcifrovihsistemnaprogramovanihlogíčnihíntegralʹnihshemah
AT odaruŝenkoom modelʹniisposíbrozroblennâalgoritmívcifrovihsistemnaprogramovanihlogíčnihíntegralʹnihshemah
AT letičevsʹkiioo modelʹnyisposobrazrabotkialgoritmovcifrovyhsistemnaprogrammiruemyhlogičeskihintegralʹnyhshemah
AT pesčanenkovs modelʹnyisposobrazrabotkialgoritmovcifrovyhsistemnaprogrammiruemyhlogičeskihintegralʹnyhshemah
AT harčenkovs modelʹnyisposobrazrabotkialgoritmovcifrovyhsistemnaprogrammiruemyhlogičeskihintegralʹnyhshemah
AT volkovva modelʹnyisposobrazrabotkialgoritmovcifrovyhsistemnaprogrammiruemyhlogičeskihintegralʹnyhshemah
AT odaruŝenkoom modelʹnyisposobrazrabotkialgoritmovcifrovyhsistemnaprogrammiruemyhlogičeskihintegralʹnyhshemah
AT letičevsʹkiioo modeldrivendevelopmentofdigitalsystemalgorithmsonprogrammablelogicintegratedcircuits
AT pesčanenkovs modeldrivendevelopmentofdigitalsystemalgorithmsonprogrammablelogicintegratedcircuits
AT harčenkovs modeldrivendevelopmentofdigitalsystemalgorithmsonprogrammablelogicintegratedcircuits
AT volkovva modeldrivendevelopmentofdigitalsystemalgorithmsonprogrammablelogicintegratedcircuits
AT odaruŝenkoom modeldrivendevelopmentofdigitalsystemalgorithmsonprogrammablelogicintegratedcircuits
first_indexed 2025-12-01T18:40:52Z
last_indexed 2025-12-01T18:40:52Z
_version_ 1850860772380377088

Схожі ресурси