Метод комплексной верификации автоматов с программируемой логикой для информационно-управляющих систем
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Метод комплексной верификации автоматов с программируемой логикой для информационно-управляющих систем
Метод комплексної верифікації автоматів з логікою, що програмується, для інформаційно-управляючих систем A method of complex verification of automata with programmable logic for Instrumentation and Control systems |
|
| Creator |
В.В. Скляр
В.А. Головир В.В. Скляр В.О. Головир V. Sklyar V. Golovir |
|
| Subject |
Обробка інформації в складних технічних системах
УДК 681.3.06 |
|
| Description |
Изложен метод комплексной верификации автоматов с программируемой логикой на базе программируемых логических интегральных схем (ПЛИС), основанный на учете требований стандартов по безопасности и интегрирующий для проектов ПЛИС этапы верификации и их атрибуты.
Викладено метод комплексної верифікації автоматів з логікою, що програмується, на базі ПЛІС і базується на урахуванні вимог стандартів з безпеки та інтегрує для ПЛІС-проектів відповідні етапи верифікації та їх атрибути. A method of complex verification of automata with programmable logic based on Field Programmable Gates Arrays (FPGAs) which is based on account of safety standards requirements. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2006
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/5317
|
|
| Source |
Системи обробки інформації. — 2006. — № 8(57). 82-84
Системы обработки информации. — 2006. — № 8(57). 82-84 Information Processing Systems. — 2006. — № 8(57). 82-84 1681-7710 |
|
| Language |
rus
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/5317/soi_2006_8_18.pdf
|
|