Сведения о втором оппоненте (Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов)

СВЕДЕНИЯ ОБ ОФИЦИАЛЬНОМ ОППОНЕНТЕБыкова Сергея Анатольевича на тему «Исследование и разработка методовавтоматического вывода геометрических ограничений с использованиемдекларативного программирования и формальных методов» по специальности05.13.11 – Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей.Фамилия, имя, отчество официального Путря Федор МихайловичоппонентаУченая степеньКандидат технических наукШифринаименование 05.27.01 – «Твердотельная электроника,специальностей,по которым защищена радиоэлектронные компоненты, микро диссертацияинаноэлектроника,приборынаквантовых эффектах»Полное наименование организации, АО НПЦ «ЭЛВИС»которое является основным местомработыДолжность в этой организацииСписок основных публикаций по темедиссертации, рецензируемых научныхизданиях за последние 5 лет (не более15 публикаций)Начальник лаборатории «ВерификацииСнК и IP-блоков» НТО-11.

Медведев И. А., Путря Ф. М. Методикаверификациимежсоединенийнабазеунифицированнойтестовойинфраструктуры//Проблемы разработки перспективных микро-инаноэлектронных систем (МЭС). – 2014. – №. 2. –С. 85-90.2. Путря Ф. М. и др. Автоматизация процессасоздания тестовых окружений обеспечивающаясквозноймаршрут разработки, верификации иисследования СФ-блоков и СНК // Проблемыразработкиперспективныхмикроинаноэлектронных систем (МЭС). – 2016. – №. 2. –С. 46-53.3. Путря Ф. М. Особенности использованиявозможностейобъектно-ориентированногопрограммированияSystemVerilogдляфункциональной верификации многоядерных СнК//Проблемы разработки перспективных микро-инаноэлектронных систем (МЭС).

– 2012. – №. 1. –С. 83-88.4. Путря Ф. М. и др. Метод создания и отладкикомплексныхтестовдляфункциональнойверификации СнК, ориентированный на ихповторное использование на всех этапах.