Ковальов Є. В. Проектування моделей цифрових автоматiв для генерациiї тестiв у середовищi Active-HDL

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0401U001492

Здобувач

Спеціальність

  • 05.13.12 - Системи автоматизації проектувальних робіт

27-03-2001

Спеціалізована вчена рада

Д 64.052.02

Харківський національний університет радіоелектроніки

Анотація

Диссертація присвячена питанням проектувания моделей цифрових керуючих автоматів, поведінка яких представлена на мові VHDL. Розроблені моделі змістовних графів переходів цифрових автоматів, які орієнтовані на технологічне рішення задач генерації тестів, перевірки справної поведінки та веріфікаційного моделювання. Запропоновані: стратегія тестувания управляючого автомату, яка містить в собі чотири алгоритми обходу верхівок та дуг графу; модифікованний П-алгоритм для знахождения рішень у вигляді вхідних наборів, які устанавлюють автомат у необхідний стан

Схожі дисертації