Retrascope-Related Publications » History » Version 4
Sergey Smolov, 12/22/2014 06:06 PM
| 1 | 1 | Alexander Kamkin | h1. Retrascope-Related Publications |
|---|---|---|---|
| 2 | |||
| 3 | {{toc}} |
||
| 4 | |||
| 5 | h2. 2013 |
||
| 6 | |||
| 7 | * 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 |
||
| 8 | 2 | Sergey Smolov | |
| 9 | h2. 2014 |
||
| 10 | |||
| 11 | * А.С. Камкин, А.М. Коцыняк, С.А. Смолов, А.А. Сортов, А.Д. Татарников, М.М. Чупилко. Средства функциональной верификации микропроцессоров. Труды Института системного программирования РАН, том 26, 2014 г. Выпуск 1. C. 149-200 http://ispras.ru/ru/proceedings/archives/isp_26_2014_1/isp_26_2014_1_149.php |
||
| 12 | |||
| 13 | 4 | Sergey Smolov | * Камкин А.С., Смолов С.А. Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации // Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть II. С. 113-118. http://www.mes-conference.ru/data/year2014/pdf/D111.pdf |
| 14 | 2 | Sergey Smolov | |
| 15 | 3 | Sergey Smolov | * Сергей Смолов, Александр Камкин. _Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода_ // Tools & Methods of Program Analysis (TMPA), 2014. P. 95-102 http://tmpaconf.org/ |