Project

General

Profile

Retrascope-Related Publications » History » Version 18

Sergey Smolov, 01/21/2020 04:48 PM

1 1 Alexander Kamkin
h1. Retrascope-Related Publications
2
3
{{toc}}
4
5 13 Sergey Smolov
h2. 2019
6
7 15 Sergey Smolov
* Kamkin A.S., Lebedev M.S., Smolov S.A. "Extracting Assertions for Conflicts in HDL Descriptions":https://www.ispras.ru/en/proceedings/isp_31_2019_3/isp_31_2019_3_135/. Proceedings of the Institute for System Programming, vol. 31, issue 3, 2019, pp. 135-144.
8 13 Sergey Smolov
9
* A. Kamkin, M. Lebedev, S. Smolov. "Retrascope: Open-Source Model Checker for HDL Descriptions":http://proceedings.dvcon-europe.org/proceedings/login.aspx. Proceedings of the Design and Verification Conference in Europe (DVCon Europe), 2019.
10
11
h2. 2018
12
13 14 Sergey Smolov
* С.А. Смолов, А.С. Камкин, М.С. Лебедев. "Формальная проверка эквивалентности описаний цифровой аппаратуры":https://elibrary.ru/item.asp?id=35202753. "Новые информационные технологии в исследовании сложных структур", Алтайский кр., пос. Катунь, 04-08 июня 2018 г.
14 13 Sergey Smolov
15 12 Sergey Smolov
h2. 2017
16 1 Alexander Kamkin
17 15 Sergey Smolov
* M. Chupilko, A. Kamkin, M. Lebedev, S. Smolov. "Test Generation for Digital Hardware Based on High-Level Models":http://www.ispras.ru/proceedings/isp_29_2017_4/isp_29_2017_4_247/. Proceedings of the Institute for System Programming, vol. 29, issue 4, 2017, pp. 247-256 
18 1 Alexander Kamkin
h2. 2016
19 2 Sergey Smolov
20 16 Sergey Smolov
* Камкин А.С., Лебедев М.С., Смолов С.А. "Автоматическая генерация тестов для описаний цифровой аппаратуры на основе проверки моделей с помощью инструмента NuXMV":http://vital.lib.tsu.ru/vital/access/services/Download/vtls:000533650/SOURCE1#page=50. Материалы международной конференции "Новые информационные технологии в исследовании сложных структур" (ICAM-2016).
21 1 Alexander Kamkin
22 15 Sergey Smolov
* S. Smolov. "A Method of EFSM Model Extraction from HDL Descriptions: Application to Hybrid Verification":http://ati.ttu.ee/vlsi-soc2016/files/PhD05-abstract_Smolov.pdf. Proceedings of Very Large Scale Integration Conference (VLSI-SoC-2016).
23 12 Sergey Smolov
24 15 Sergey Smolov
* Лебедев М.С., Смолов С.А. "Метод генерации функциональных тестов для HDL-описаний на основе проверки HLDD-моделей":http://www.mes-conference.ru/data/year2016/pdf/D122.pdf. Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС-2016). Сборник трудов под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2016. Часть II. С. 24-31. 
25 1 Alexander Kamkin
26 15 Sergey Smolov
* M.S. Lebedev, S.A. Smolov. "A Model Checking-Based Method of Functional Test Generation for HDL Descriptions":http://ispras.ru/proceedings/docs/2016/28/4/isp_28_2016_4_41.pdf. Proceedings of the Institute for System Programming, vol. 28, issue 4, 2016, pp. 41-56. 
27 12 Sergey Smolov
28 15 Sergey Smolov
* M. Lebedev, A. Kamkin, S. Smolov. "An EFSM-Driven and Model Checking Based Approach to Functional Test Generation for Hardware Designs":http://ieeexplore.ieee.org/document/7807736/. Proceedings of East-West Design & Test Symposium (EWDTS-2016). P. 60-63. 
29 12 Sergey Smolov
30 15 Sergey Smolov
* S. Smolov, A. Kamkin, M. Chupilko, J. Lopez, N. Yevtushenko, N. Kushik. "Testing Logic Circuits at Different Abstraction Levels: an Experimental Evaluation":http://ieeexplore.ieee.org/document/7807687/. Proceedings of East-West Design & Test Symposium (EWDTS-2016). P. 189-192.
31 1 Alexander Kamkin
32 12 Sergey Smolov
h2. 2015
33 1 Alexander Kamkin
34 15 Sergey Smolov
* Смолов С.А., Камкин А.С. "Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода":http://ntv.spbstu.ru/telecom/article/T1.212.2015_06/. НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. Выпуск 1(212), 2015, С. 60-73. 
35 7 Sergey Smolov
36 15 Sergey Smolov
* Смолов С.А. "Метод извлечения расширенных конечных автоматов из HDL-описаний":http://www.hse.ru/data/2015/02/13/1092415379/HSE-MIEM-2015.pdf. Материалы Научно-технической конференции студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского, 2015, С. 48-50.
37 9 Sergey Smolov
38 15 Sergey Smolov
* Смолов С.А. "Обзор методов извлечения моделей из HDL-описаний":http://ispras.ru/proceedings/docs/2015/27/1/isp_27_2015_1_97.pdf. Труды ИСП РАН, том 27, выпуск 1, 2015 г. С. 97-124.
39 1 Alexander Kamkin
40 15 Sergey Smolov
* I. Melnichenko, A. Kamkin, S. Smolov. "An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs":http://ispras.ru/proceedings/docs/2015/27/3/isp_27_2015_3_161.pdf. Proceedings of the Institute for System Programming. Volume 27 (Issue 3), 2015, P. 161-182 
41 1 Alexander Kamkin
42 17 Sergey Smolov
* Смолов С.А. "Метод извлечения EFSM-моделей из HDL-описаний повышенной сложности":https://elibrary.ru/item.asp?id=26179617. Известия высших учебных заведений. Физика. Тематический выпуск "Информационные технологии в анализе и синтезе сложных систем", том 58 (11'2015), с. 97-102
43 10 Sergey Smolov
44 12 Sergey Smolov
h2. 2014
45 10 Sergey Smolov
46 15 Sergey Smolov
* А.С. Камкин, А.М. Коцыняк, С.А. Смолов, А.А. Сортов, А.Д. Татарников, М.М. Чупилко. "Средства функциональной верификации микропроцессоров":http://ispras.ru/ru/proceedings/archives/isp_26_2014_1/isp_26_2014_1_149.php. Труды ИСП РАН, том 26, выпуск 1, 2014 г. C. 149-200
47 1 Alexander Kamkin
48 15 Sergey Smolov
* А.С. Камкин, С.А. Смолов. "Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации":http://www.mes-conference.ru/data/year2014/pdf/D111.pdf. Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть II. С. 113-118. 
49 11 Sergey Smolov
50 18 Sergey Smolov
* А.С. Камкин, С.А. Смолов. "Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода":https://forge.ispras.ru/attachments/7249 // Tools & Methods of Program Analysis (TMPA), 2014. P. 95-102.
51 11 Sergey Smolov
52 12 Sergey Smolov
h2. 2013
53 11 Sergey Smolov
54 15 Sergey Smolov
* A. Kamkin, S. Smolov, I. Melnichenko. "Static Analysis of HDL Descriptions: Extracting Models for Verification":http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6673126. East-West Design & Test Symposium (EWDTS), 2013. P. 1-4.