Retrascope-Related Publications¶

• Table of contents
• Retrascope-Related Publications
  • 2019
  • 2018
  • 2017
  • 2015
  • 2014
  • 2013

2019¶

• Kamkin A.S., Lebedev M.S., Smolov S.A. Extracting Assertions for Conflicts in HDL Descriptions. Proceedings of the Institute for System Programming, vol. 31, issue 3, 2019, pp. 135-144.

• A. Kamkin, M. Lebedev, S. Smolov. Retrascope: Open-Source Model Checker for HDL Descriptions. Proceedings of the Design and Verification Conference in Europe (DVCon Europe), 2019.

2018¶

• С.А. Смолов, А.С. Камкин, М.С. Лебедев. Формальная проверка эквивалентности описаний цифровой аппаратуры. "Новые информационные технологии в исследовании сложных структур", Алтайский кр., пос. Катунь, 04-08 июня 2018 г.

2017¶

• M. Chupilko, A. Kamkin, M. Lebedev, S. Smolov. Test Generation for Digital Hardware Based on High-Level Models. Proceedings of the Institute for System Programming, vol. 29, issue 4, 2017, pp. 247-256
  h2. 2016

• Камкин А.С., Лебедев М.С., Смолов С.А. Автоматическая генерация тестов для описаний цифровой аппаратуры на основе проверки моделей с помощью инструмента NuXMV. Материалы международной конференции "Новые информационные технологии в исследовании сложных структур" (ICAM-2016).

• S. Smolov. A Method of EFSM Model Extraction from HDL Descriptions: Application to Hybrid Verification. Proceedings of Very Large Scale Integration Conference (VLSI-SoC-2016).

• Лебедев М.С., Смолов С.А. Метод генерации функциональных тестов для HDL-описаний на основе проверки HLDD-моделей. Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС-2016). Сборник трудов под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2016. Часть II. С. 24-31.

• M.S. Lebedev, S.A. Smolov. A Model Checking-Based Method of Functional Test Generation for HDL Descriptions. Proceedings of the Institute for System Programming, vol. 28, issue 4, 2016, pp. 41-56.

• M. Lebedev, A. Kamkin, S. Smolov. An EFSM-Driven and Model Checking Based Approach to Functional Test Generation for Hardware Designs. Proceedings of East-West Design & Test Symposium (EWDTS-2016). P. 60-63.

• S. Smolov, A. Kamkin, M. Chupilko, J. Lopez, N. Yevtushenko, N. Kushik. Testing Logic Circuits at Different Abstraction Levels: an Experimental Evaluation. Proceedings of East-West Design & Test Symposium (EWDTS-2016). P. 189-192.

2015¶

• Смолов С.А., Камкин А.С. Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода. НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. Выпуск 1(212), 2015, С. 60-73.

• Смолов С.А. Метод извлечения расширенных конечных автоматов из HDL-описаний. Материалы Научно-технической конференции студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского, 2015, С. 48-50.

• Смолов С.А. Обзор методов извлечения моделей из HDL-описаний. Труды ИСП РАН, том 27, выпуск 1, 2015 г. С. 97-124.

• I. Melnichenko, A. Kamkin, S. Smolov. An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs. Proceedings of the Institute for System Programming. Volume 27 (Issue 3), 2015, P. 161-182

• Смолов С.А. Метод извлечения EFSM-моделей из HDL-описаний повышенной сложности. Известия высших учебных заведений. Физика. Тематический выпуск "Информационные технологии в анализе и синтезе сложных систем", том 58 (11'2015), с. 97-102

2014¶

• А.С. Камкин, А.М. Коцыняк, С.А. Смолов, А.А. Сортов, А.Д. Татарников, М.М. Чупилко. Средства функциональной верификации микропроцессоров. Труды ИСП РАН, том 26, выпуск 1, 2014 г. C. 149-200

• А.С. Камкин, С.А. Смолов. Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации. Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть II. С. 113-118.

• А.С. Камкин, С.А. Смолов. Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода // Tools & Methods of Program Analysis (TMPA), 2014. P. 95-102.

2013¶

• A. Kamkin, S. Smolov, I. Melnichenko. Static Analysis of HDL Descriptions: Extracting Models for Verification. East-West Design & Test Symposium (EWDTS), 2013. P. 1-4.