name: Повышение быстродействия логических схем за счет выявления неисправностей задержек путей с последующим их маскированием и определения ложных путей (на основе использования операций над ROBDD-графами)
keyword_list: Логическая схема Комбинационная схема Последовательностная схема ROBDD-граф Ложные пути Неисправность задержки пути Маскирование неисправностей Булева разность Тестовая пара Установочная последовательность
abstract: Объект исследования: логические схемы, комбинационные и синхронные последовательностные. Цель работы: разработка алгоритмов, ориентированных на повышение быстродействия логических схем за счет поиска ложных путей, тестирования неисправностей задержек путей и их маскирования. Методы исследования: методы дискретной математики, в частности теории булевых функций, теории автоматов, теории графов. Полученные результаты и новизна: предложены точные алгоритмы поиска ложных путей для комбинационных и синхронных последовательностных схем гарантировано определяющие является ли исследуемый путь ложным, в условиях ограничения на длину последовательности, доставляющей тестовую пару из начального состояния схемы; разработан алгоритм построения входной последовательности для обнаружения робастно тестируемых неисправностей задержек путей в синхронных схемах с памятью, доставляющей тестовые пары соседних булевых векторов в пространстве входных и внутренних переменных схемы, в предположении, что множество всех тестовых пар соседних булевых векторов для рассматриваемого пути компактно представлено ROBDD-графом; предложен алгоритм маскирования неисправностей задержек путей в условиях доступности входов и выходов маскирующей схемы с использованием представления в виде ROBDD-графа булевой разности пути. Область применения: решение задач повышения быстродействия логических схем на этапе их проектирования и производства.
chairman_dissertation_council.name: Александр
chairman_dissertation_council.surname: Горцев
chairman_dissertation_council.patronymic: Михайлович
chairman_dissertation_council.position: Заведующий кафедрой
chairman_dissertation_council.degree: Доктор технических наук
chairman_dissertation_council.rank: Профессор
chairman_dissertation_council.wos_research_id: О-5828-2014
chairman_dissertation_council.scopus_author_id: 7003506641
chairman_dissertation_council.rinc_id: 180646
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Эдуард
organization_supervisor.surname: Галажинский
organization_supervisor.patronymic: Владимирович
organization_supervisor.position: Ректор
organization_supervisor.territory: РОССИЯ
rubrics.code: 50.07.07
rubrics.name: Диагностика средств вычислительной техники
rubrics.code: 50.51.19
rubrics.name: Применение вычислительной техники и других средств автоматизации проектирования
oecds.code: 02.02.ES
oecds.name: COMPUTER SCIENCE, HARDWARE & ARCHITECTURE
oecds.code: 02.02.IQ
oecds.name: ENGINEERING, ELECTRICAL & ELECTRONIC
speciality_codes.name: Системный анализ, управление и обработка информации (по отраслям)
speciality_codes.code: 05.13.01
supervisors.fio: Матросова А.Ю.
supervisors.scientific_degree: Доктор технических наук
supervisors.speciality_code: Системный анализ, управление и обработка информации (по отраслям)
supervisors.responsible_type: Научный руководитель
opponents.fio: Ефанов Д.В.
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Автоматизация и управление технологическими процессами и производствами (по отраслям)
opponents.responsible_type: Оппонент
opponents.fio: Солдатов А.И.
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Приборы и методы контроля природной среды, веществ, материалов и изделий
opponents.responsible_type: Оппонент
opponents.fio: Шабалдина Н.В.
opponents.scientific_degree: Кандидат технических наук
opponents.speciality_code: Системный анализ, управление и обработка информации (по отраслям)
opponents.responsible_type: Оппонент
protection_organization.short_name: НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ, ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ, НИ ТГУ, ТГУ
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"
protection_organization.ogrn: 1027000853978
protection_organization.supervisor_name: ЭДУАРД
protection_organization.supervisor_surname: ГАЛАЖИНСКИЙ
protection_organization.supervisor_patronymic: ВЛАДИМИРОВИЧ
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.short_name: НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ, ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ, НИ ТГУ, ТГУ
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"
author_organization.ogrn: 1027000853978
author_organization.supervisor_name: ЭДУАРД
author_organization.supervisor_surname: ГАЛАЖИНСКИЙ
author_organization.supervisor_patronymic: ВЛАДИМИРОВИЧ
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения