name: Разработка методики и алгоритмов верификации гетерогенных многоядерных систем на основе графовой модели иерархии когерентной кэш-памяти
keyword_list: Автоматическая генерация тестов Верификация кеш-памяти Тестирование кеш-памяти процессора Верификация гетерогенных многоядерных систем
abstract: Целью диссертационного исследования является повышение эффективности процесса верификации гетерогенных многоядерных систем на основе графовой модели когерентной иерархии кэш-памяти за счет разработки методики и алгоритмов увеличения полноты тестового покрытия кода описания уровня регистровых передач. Научная новизна заключается в том, что: 1) предложено формализованное представление задачи верификации гетерогенных многоядерных систем (ГМС) с применением аппарата теории множеств, позволяющее учитывать функцию переключательной активности, которая ставит в соответствие каждому элементу из множества всех возможных пакетов инструкций количество переключившихся сигналов; 2) разработана графовая модель иерархии когерентной кэш-памяти на основе алгоритмов построения и решения недетерминированных ситуаций, которая является базисом методики формирования верификационных последовательностей; 3) представлена методика формирования верификационных последовательностей для ГМС, которая позволяет сократить время верификации систем на кристалле на 10%; 4) разработан генетический алгоритм формирования верификационных последовательностей на основе клеточного автомата, который позволяет произвести оценку энергопотребления RTL-описания ГМС, способствуя увеличению полноты тестового покрытия; 5) осуществлена программная реализация предложенных решений в виде комплекса программных средств, внедрение которого в маршрут проектирования ГМС позволило выявить в совокупности 28 критичных ошибок в системе на кристалле «МУЛЬТИКОР» (ОАО НПЦ «ЭЛВИС») и достичь 95% тестового покрытия кода RTL-описания. Практическая ценность работы заключается в том, что предложенный подход с использованием разработанных в диссертации графовой модели когерентной иерархии кэш-памяти, методики и алгоритмов формирования верификационных последовательностей позволяет повысить полноту тестового покрытия кода RTL-описаний ГМС. Разработанный комплекс программных средств, применяемый в маршруте проектирования ГМС на отечественных предприятиях, что подтверждено актами о внедрении, позволил: 1) выявить 28 критичных ошибок в системе на кристалле «МУЛЬТИКОР»; 2) на 10% сократить время, требуемое на верификацию ГМС; 3) достичь 97% переключательной активности всех сигналов RTL-описания; 4) достичь 95% тестового покрытия кода RTL-описания.
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: C-9418-2017
chairman_dissertation_council.scopus_author_id: 57150587000
chairman_dissertation_council.rinc_id: 211223
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Владимир
organization_supervisor.surname: Беспалов
organization_supervisor.patronymic: Александрович
organization_supervisor.position: Ректор
organization_supervisor.territory: РОССИЯ
rubrics.code: 50.51.17
rubrics.name: Программное обеспечение процессов проектирования
rubrics.code: 50.41.25
rubrics.name: Прикладное программное обеспечение
rubrics.code: 47.01.81
rubrics.name: Измерения, испытания, контроль и управление качеством
oecds.code: 02.02.IQ
oecds.name: ENGINEERING, ELECTRICAL & ELECTRONIC
oecds.code: 01.02.ET
oecds.name: COMPUTER SCIENCE, INFORMATION SYSTEMS
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: Оппонент
protection_organization.short_name: НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "МИЭТ"; НИУ МИЭТ;МИЭТ
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "МОСКОВСКИЙ ИНСТИТУТ ЭЛЕКТРОННОЙ ТЕХНИКИ"
protection_organization.ogrn: 1027739615584
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: 1027739615584
author_organization.supervisor_name: ВЛАДИМИР
author_organization.supervisor_surname: БЕСПАЛОВ
author_organization.supervisor_patronymic: АЛЕКСАНДРОВИЧ
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения