Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов
|
|
| Creator |
Шкиль, А. С.
Фастовец, Г. П. Серокурова, А. С. |
|
| Subject |
эксперимент
автоматизация эквивалентность |
|
| Description |
Предлагается автоматизация диагностирования HDL-моделей конечных автоматов с использованием программы ASFTEST. Рассматривается вариант восстановления графа переходов по HDL-модели автомата в форме автоматного шаблона и анализ обхода всех дуг графа для поиска ошибок проектирования. |
|
| Date |
2017-06-13T15:26:14Z
2017-06-13T15:26:14Z 2014 |
|
| Identifier |
Шкиль А.С. Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов / А.С. Шкиль, Г.П, Фастовец, А.С. Серокурвоа // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2014. – Вып. 168. – С. 43–52.
http://openarchive.nure.ua/handle/document/3870 |
|
| Language |
ru
|
|
| Publisher |
Научно-технический журнал : Автоматизированные системы управления и приборы автоматики
|
|