Пошук академічних текстів

Інформація × Реєстраційний номер 0401U001492, Кандидатська дисертація На здобуття к.т.н. Дата захисту 27-03-2001 Статус Запланована Назва роботи Проектування моделей цифрових автоматiв для генерациiї тестiв у середовищi Active-HDL Здобувач Ковальов Євген Вікторович, Керівник Хаханов В.І. Опонент Хажмурадов М.А. Опонент Литвинова Є.І. Опис Диссертація присвячена питанням проектувания моделей цифрових керуючих автоматів, поведінка яких представлена на мові VHDL. Розроблені моделі змістовних графів переходів цифрових автоматів, які орієнтовані на технологічне рішення задач генерації тестів, перевірки справної поведінки та веріфікаційного моделювання. Запропоновані: стратегія тестувания управляючого автомату, яка містить в собі чотири алгоритми обходу верхівок та дуг графу; модифікованний П-алгоритм для знахождения рішень у вигляді вхідних наборів, які устанавлюють автомат у необхідний стан Дата реєстрації 2001-03-27 Додано в НРАТ 2020-04-04 Закрити