Диагностирование HDL-моделей микропрограммных автоматов
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Диагностирование HDL-моделей микропрограммных автоматов
|
|
| Creator |
Шкиль, А. С.
Кулак, Э. Н. Серокурова, А. С. |
|
| Subject |
автомат
диагностический эксперимент |
|
| Description |
Рассматриваются методы поиска ошибок проектирования в HDL-моделях микропрог- раммных автоматов. Исходное описание автомата представляется композицией операци- онного и управляющего автоматов, которая описывается содержательной граф-схемой алгоритма. HDL-модель управляющего автомата дана в форме двухпроцессного автомат- ного шаблона автомата Мура. Диагностический эксперимент проводится путем обхода всех дуг графа переходов управляющего автомата, начиная от начальной вершины, путем эмуляции функций операционного автомата в системе верификации HDL-моделей (TestBench) в среде проектирования Active–HDL. |
|
| Date |
2017-06-13T16:10:34Z
2017-06-13T16:10:34Z 2015 |
|
| Identifier |
Шкиль А.С. Диагностирование HDL-моделей микропрограммных автоматов/ А.С. Шкиль, Э.Н. Кулак, А.С. Серокурвоа // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2014. – Вып. 172. – С. 22–31.
http://openarchive.nure.ua/handle/document/3876 |
|
| Language |
ru
|
|
| Publisher |
Научно-технический журнал : Автоматизированные системы управления и приборы автоматики
|
|