Retrascope-Related Publications » History » Revision 6
Revision 5 (Alexander Kamkin, 12/24/2014 03:53 PM) → Revision 6/20 (Sergey Smolov, 04/28/2015 06:53 PM)
h1. Retrascope-Related Publications
{{toc}}
h2. 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. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6673126
h2. 2014
* А.С. Камкин, А.М. Коцыняк, С.А. Смолов, А.А. Сортов, А.Д. Татарников, М.М. Чупилко. _Средства функциональной верификации микропроцессоров_. Труды ИСП РАН, том 26, 2014 г. Выпуск 1. C. 149-200 http://ispras.ru/ru/proceedings/archives/isp_26_2014_1/isp_26_2014_1_149.php
* А.С. Камкин, С.А. Смолов. _Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации_ // Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть II. С. 113-118. http://www.mes-conference.ru/data/year2014/pdf/D111.pdf
* А.С. Камкин, С.А. Смолов. _Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода_ // Tools & Methods of Program Analysis (TMPA), 2014. P. 95-102. http://tmpaconf.org/thesesru/230
h2. 2015
* Смолов С.А., Камкин А.С. _Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода_ НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. Выпуск 1(212), 2015, С. 60-73. http://ntv.spbstu.ru/telecom/article/T1.212.2015_06/
* Смолов С.А. _Метод извлечения расширенных конечных автоматов из HDL-описаний_ Материалы Научно-технической конференции студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского, 2015, С. 48-50. http://www.hse.ru/data/2015/02/13/1092415379/HSE-MIEM-2015.pdf http://tmpaconf.org/