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