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

English version

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

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

0401U001492

Облікова картка дисертації

0401U001492.pdf

Здобувач

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

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

27-03-2001

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

Д 64.052.02

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

Анотація

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

Читати повністю

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

0421U103915

Карабецький Денис Петрович

Автоматизоване проектування гібридних сонячних енергетичних систем

0421U103715

Долгоруков Сергій Олегович

Автоматизоване проектування випробувального стенду навігаційного обладнання

0421U103623

Карабецький Денис Петрович

Автоматизоване проектування гібридних сонячних енергетичних систем

0419U005207

Шадура Оксана Віталіївна

Стохастична оптимізація продуктивності пакету симуляції транспорту частинок в фізиці високих енергій

0419U005217

Полягушко Любов Григорівна

Програмно-апаратне забезпечення моделювання впливу гіпоксії на організм людини та проведення гіпоксичних тренувань