Search academic texts

Information × Registration Number 0401U001492, Candidate dissertation Status к.т.н. Date 27-03-2001 popup.evolution o Title Designing of finite state machine models for testbench generation in Active-HDL Author Koval'ov Yevgen Viktorovych, popup.head Хаханов В.І. popup.opponent Хажмурадов М.А. popup.opponent Литвинова Є.І. Description Диссертація присвячена питанням проектувания моделей цифрових керуючих автоматів, поведінка яких представлена на мові VHDL. Розроблені моделі змістовних графів переходів цифрових автоматів, які орієнтовані на технологічне рішення задач генерації тестів, перевірки справної поведінки та веріфікаційного моделювання. Запропоновані: стратегія тестувания управляючого автомату, яка містить в собі чотири алгоритми обходу верхівок та дуг графу; модифікованний П-алгоритм для знахождения рішень у вигляді вхідних наборів, які устанавлюють автомат у необхідний стан Registration Date 2001-03-27 popup.nrat_date 2020-04-04 Close