Кандидатська дисертація. Колесніков Костянтин Васильович. Дедуктивний метод моделювання несправностей для синтезу тестів цифрових систем, що реалізовані у програмувальній логіці

Registration Number

0404U001189, Candidate dissertation

Status

к.т.н.

Date

16-03-2004

popup.evolution

.

Title

Deductive method of fault simulation for test generation of digital systems implemented in program logic device

Author

Kolesnikov Konstantin Vasylyevich,

popup.head Hahanov V.I.
popup.opponent Хажмурадов М.А.
popup.opponent Голубничий Д.Ю.

popup.rada

Kharkov national university of radioelectronics

Description

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

Registration Date

2004-04-01

popup.nrat_date

2020-04-04 / 2026-06-30