2025-02-23T18:35:07-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-190448%22&qt=morelikethis&rows=5
2025-02-23T18:35:07-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-190448%22&qt=morelikethis&rows=5
2025-02-23T18:35:07-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T18:35:07-05:00 DEBUG: Deserialized SOLR response
Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах

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

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

Full description

Saved in:
Bibliographic Details
Main Authors: Летичевський, О.О., Песчаненко, В.С., Харченко, В.С., Волков, В.А., Одарущенко, О.М.
Format: Article
Language:Ukrainian
Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2020
Series:Кибернетика и системный анализ
Subjects:
Кібернетика
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/190448
Tags: Add Tag
No Tags, Be the first to tag this record!
id irk-123456789-190448
record_format dspace
spelling irk-123456789-1904482023-06-08T18:06:26Z Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах Летичевський, О.О. Песчаненко, В.С. Харченко, В.С. Волков, В.А. Одарущенко, О.М. Кібернетика Розглянуто сучасні тенденції в галузі автоматизованого розроблення апаратного забезпечення, зокрема, розроблення цифрових систем з використанням програмованих логічних інтегральних схем на прикладі програмованих користувачем вентильних матриць. Запропоновано модельний метод розроблення, в якому використано алгебраїчну модель специфікацій дизайну, вимог та бінарного коду для застосування формальних методів верифікації, модельного тестування та методів алгебраїчного зіставлення. Специфікаціями алгебраїчної моделі апаратного забезпечення слугує алгебра поведінок, визначена на множині дій та поведінок. Рассмотрены современные тенденции в области автоматизированной разработки аппаратного обеспечения, в частности разработки цифровых систем с использованием программируемых логических интегральных схем на примере вентильних матриц, программируемых пользователем. Предложен модельный метод разработки, в котором использована алгебраическая модель спецификаций дизайна, требований и бинарного кода для применения формальных методов верификации, модельного тестирования и методов алгебраического сопоставления. В качестве спецификаций алгебраической модели аппаратного обеспечения служит алгебра поведений, определенная на множестве действий и поведений. 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. 2020 Article Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах / О.О. Летичевський, В.С. Песчаненко, В.С. Харченко, В.А. Волков, О.М. Одарущенко // Кибернетика и системный анализ. — 2020. — Т. 56, № 5. — С. 29–37. — Бібліогр.: 25 назв. — укр. 1019-5262 http://dspace.nbuv.gov.ua/handle/123456789/190448 004.05, 004.42 uk Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Ukrainian
topic Кібернетика
Кібернетика
spellingShingle Кібернетика
Кібернетика
Летичевський, О.О.
Песчаненко, В.С.
Харченко, В.С.
Волков, В.А.
Одарущенко, О.М.
Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
Кибернетика и системный анализ
description Розглянуто сучасні тенденції в галузі автоматизованого розроблення апаратного забезпечення, зокрема, розроблення цифрових систем з використанням програмованих логічних інтегральних схем на прикладі програмованих користувачем вентильних матриць. Запропоновано модельний метод розроблення, в якому використано алгебраїчну модель специфікацій дизайну, вимог та бінарного коду для застосування формальних методів верифікації, модельного тестування та методів алгебраїчного зіставлення. Специфікаціями алгебраїчної моделі апаратного забезпечення слугує алгебра поведінок, визначена на множині дій та поведінок.
format Article
author Летичевський, О.О.
Песчаненко, В.С.
Харченко, В.С.
Волков, В.А.
Одарущенко, О.М.
author_facet Летичевський, О.О.
Песчаненко, В.С.
Харченко, В.С.
Волков, В.А.
Одарущенко, О.М.
author_sort Летичевський, О.О.
title Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
title_short Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
title_full Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
title_fullStr Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
title_full_unstemmed Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
title_sort модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate 2020
topic_facet Кібернетика
url http://dspace.nbuv.gov.ua/handle/123456789/190448
citation_txt Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах / О.О. Летичевський, В.С. Песчаненко, В.С. Харченко, В.А. Волков, О.М. Одарущенко // Кибернетика и системный анализ. — 2020. — Т. 56, № 5. — С. 29–37. — Бібліогр.: 25 назв. — укр.
series Кибернетика и системный анализ
work_keys_str_mv AT letičevsʹkijoo modelʹnijsposíbrozroblennâalgoritmívcifrovihsistemnaprogramovanihlogíčnihíntegralʹnihshemah
AT pesčanenkovs modelʹnijsposíbrozroblennâalgoritmívcifrovihsistemnaprogramovanihlogíčnihíntegralʹnihshemah
AT harčenkovs modelʹnijsposíbrozroblennâalgoritmívcifrovihsistemnaprogramovanihlogíčnihíntegralʹnihshemah
AT volkovva modelʹnijsposíbrozroblennâalgoritmívcifrovihsistemnaprogramovanihlogíčnihíntegralʹnihshemah
AT odaruŝenkoom modelʹnijsposíbrozroblennâalgoritmívcifrovihsistemnaprogramovanihlogíčnihíntegralʹnihshemah
first_indexed 2023-10-18T23:12:58Z
last_indexed 2023-10-18T23:12:58Z
_version_ 1796157549235404800

Similar Items