ИСТИНА

Чупилко М.М.

кандидат физико-математических наук с 2012 года

Соавторы: Камкин А.С., Smolov S., Kotsynyak A., Дроздова Е.А., Иванников В.П., Петренко А.К., Сортов А.А.

16 статей, 6 докладов на конференциях, 2 свидетельства о регистрации прав на ПО

Количество цитирований статей в журналах по данным Web of Science: 15, Scopus: 16

IstinaResearcherID (IRID): 11621326

Деятельность

• Статьи в журналах

  • • 2018 Динамическая верификация контроллеров шин систем-на-кристалле
    • Чупилко М.М., Дроздова Е.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 4, с. 129-138 DOI
  • • 2017 Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей
    • Чупилко М.М., Камкин А.С., Лебедев М.С., Смолов С.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 29, № 4, с. 247-256 DOI
  • • 2016 Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK
    • Камкин А.С., Коцыняк А.М., Проценко А.С., Татарников А.Д., Чупилко М.М.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 6, с. 87-102 DOI
  • 
    • 2014 Extensible environment for test program generation for microprocessors
    • Kamkin A.S., Sergeeva T.I., Smolov S.A., Tatarnikov A.D., Chupilko M.M.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 40, № 1, с. 1-9
  • • 2014 Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
    • Иванников В.П., Камкин А.С., Чупилко М.М.
    • в журнале Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого" (Санкт-Петербург), с. 130-142
  • • 2014 Расширяемая среда генерации тестовых программ для микропроцессоров
    • Камкин А.С., Сергеева Т.И., Смолов С.А., Татарников А.Д., Чупилко М.М.
    • в журнале Программирование, том 40, с. 3-14
  • • 2014 Средства функциональной верификации микропроцессоров
    • Камкин А.С., Коцыняк А.М., Смолов С.А., Татарников А.Д., Чупилко М.М., Сортов А.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, с. 149-200
  • • 2011 A TLM-based approach to functional verification of hardware components at different abstraction levels
    • Chupilko Mikhail, Kamkin Alexander
    • в журнале 2011 12th Latin American Test Workshop (LATW)
  • 
    • 2011 Survey of modern technologies of simulation-based verification of hardware
    • Kamkin A.S., Chupilko M.M., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 37, № 3, с. 147-152
  • • 2010 Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: Application to verification
    • Chupilko M., Kamkin A.
    • в журнале 2010 12th Biennial Baltic Electronics Conference
  • • 2009 Specification-driven testbench development for synchronous parallel-pipeline designs
    • Chupilko Mikhail, Kamkin Alexander
    • в журнале 2009 NORCHIP

• Статьи в сборниках

  • • 2018 An Approach to Simulation-Based Verification of SoC Bus Controllers
    • Chupilko M., Drozdova E.
    • в сборнике Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),, с. 111-114
    • редакторы Камкин Александр Сергеевич, Петренко Александр Константинович
  • • 2016 ESL Design with RTL-Verified Predesigned Abstract Communication Channels
    • Haghi Najafi H., Chupilko M., Kamkin A., Navabi Z.
    • в сборнике Proceedings of East-West Design & Test Symposium DOI
  • • 2016 Testing Logic Circuits at Different Abstraction Levels: An Experimental Evaluation
    • Smolov S., Lopez J., Kushik N., Yevtushenko N., Chupilko M., Kamkin A.
    • в сборнике Proceedings of East-West Design & Test Symposium DOI
  • 
    • 2015 Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units
    • Chupilko Mikhail, Kamkin Alexander, Kotsynyak Artem, Protsenko Alexander, Smolov Sergey, Tatarnikov Andrei
    • в сборнике 2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV), место издания Institute of Electrical and Electronics Engineers (IEEE), с. 1-6 DOI
  • 
    • 2013 Correctness checking of HDL-model behavior based on runtime trace matching
    • Ivannikov V.P., Kamkin A.S., Chupilko M.M.
    • в сборнике Tools and Methods of Program Analysis, TMPA 2013; Kostroma; Russian Federation; 10 October 2013 through 12 October 2013; Category numberP5172; Code 115685, место издания Institute of Electrical & Electronics Engineers (IEEE), с. 25-30 DOI

• Доклады на конференциях

  • • 2018 MicroTESK: Automated Architecture Validation Suite Generator for Microprocessors (Устный)
    • Авторы: Chupilko M., Kamkin A., Protsenko A., Smolov S., Tatarnikov A.
    • Design and Verification Conference and Exhibition Europe (DVCon Europe), Мюнхен, Германия, 24-25 октября 2018
  • • 2018 Test Program Generator MicroTESK for RISC-V (Стендовый)
    • Авторы: Chupilko M., Kamkin A., Kotsynyak A., Protsenko A., Smolov S., Tatarnikov A.
    • RISC-V Workshop, Барселона, Испания, 7-10 мая 2018
  • • 2018 Specification-Based Construction of Online TPGs for Microprocessors (Стендовый)
    • Авторы: Chupilko M., Kamkin A.
    • Design, Automation, and Test in Europe (DATE), University Booth, Дрезден, Германия, 19-23 марта 2018
  • • 2017 MicroTESK: Specification-Based Tool for Constructing Test Program Generators (Стендовый)
    • Авторы: Kotsynyak A., Chupilko M., Kamkin A., Tatarnikov A.
    • Haifa Verification Conference, Хайфа, Израиль, 13-15 ноября 2017
  • • 2017 Combining MicroTESK and SPIN for Verification of Multi-core Microprocessors (Стендовый)
    • Авторы: Chupilko M., Kamkin A., Lebedev M., Tatarnikov A.
    • Design, Automation, and Test in Europe (DATE), University Booth, Лозанна, Швейцария, 27-30 марта 2017
  • • 2015 Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units (Устный)
    • Авторы: Chupilko M., Kamkin A., Tatarnikov A., Protsenko A., Smolov S., Kotsynyak Artem
    • 16th International Workshop on Microprocessor Test and Verification (MTV 2015), Остин, США, 3-4 декабря 2015

• Свидетельства о регистрации прав на программное обеспечение

  • • 2018 Программа динамической модульной верификации описаний цифровой аппаратуры C++TESK Testing Toolkit (SOFT)
    • Авторы: Камкин А.С., Пакулин Н.В., Проценко А.С., Сортов А.А., Чупилко М.М.
    • #2018663567, 31 октября
  • • 2018 Retrascope: Программа анализа HDL-описаний цифровой аппаратуры (SOFT)
    • Авторы: Камкин А.С., Лебедев М.С., Мельниченко И.В., Проценко А.С., Смолов С.А., Чупилко М.М.
    • #2018663000, 18 октября