Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
Розглянуто сучасні тенденції в галузі автоматизованого розроблення апаратного забезпечення, зокрема, розроблення цифрових систем з використанням програмованих логічних інтегральних схем на прикладі програмованих користувачем вентильних матриць. Запропоновано модельний метод розроблення, в якому вико...
Збережено в:
| Дата: | 2020 |
|---|---|
| Автори: | , , , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2020
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.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 |
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 |