Search academic texts

Information × Registration Number 0404U001189, Candidate dissertation Status к.т.н. Date 16-03-2004 popup.evolution o 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 Голубничий Д.Ю. Description Робота присвячена розробці методів і алгоритмів зворотного дедуктивно-паралельного моделювання несправностей і детермінованого синтезу тестів на реконфігурованих моделях, що дозволяють на порядок зменшити час оцінки якості тестів для верифікації складних цифрових систем на стадіях їх автоматизованого проектування. Створено модель процесу дедуктивно-паралельного аналізу цифрової схеми на основі процедури зворотної суперпозиції; розроблені дедуктивні методи структурно-функціонального аналізу цифрових систем з метою визначення множини розгалужень, що сходяться, і ре конфігурації структури для реалізації процедури суперпозиції; розроблений новий топологічний метод моделювання дефектів за деревоподібною структурою цифрової системи Registration Date 2004-03-16 popup.nrat_date 2020-04-04 Close